Bob is big. Bob is not nice. Bob is rough. Bob is round. Charlie is cold. Erin is rough. Erin is smart. Fiona is big. Fiona is nice. Fiona is quiet. If something is round and not nice then it is not cold. Quiet things are rough. If something is smart and not cold then it is big. If Erin is not round then Erin is big. If Erin is not round then Erin is not big. If Erin is not cold then Erin is big.
Bob is big.
("Bob" "is" "big" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If something is round and not nice then it is not cold.
((("something" "is" "round" "+") ("something" "is" "nice" "~")) -> ("something" "is" "cold" "-"))
Quiet things are rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If something is smart and not cold then it is big.
((("something" "is" "smart" "+") ("something" "is" "cold" "~")) -> ("something" "is" "big" "+"))
If Erin is not round then Erin is big.
((("Erin" "is" "round" "~")) -> ("Erin" "is" "big" "+"))
If Erin is not round then Erin is not big.
((("Erin" "is" "round" "~")) -> ("Erin" "is" "big" "-"))
If Erin is not cold then Erin is big.
((("Erin" "is" "cold" "~")) -> ("Erin" "is" "big" "+"))
Fiona is big.
True
1
proof
[(triple8)]
("Fiona" "is" "big" "+")
triple8
Erin is not smart.
False
1
inv-proof
[(triple7)]
("Erin" "is" "smart" "-")
triple7
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Bob is big.[(triple1)] Bob is not nice.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Charlie is cold.[(triple5)] Erin is rough.[(triple6)] Erin is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] @1: Bob is not cold.[(((triple4 triple2) -> rule1))] Fiona is rough.[(((triple10) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is not nice.
("Bob" "is" "nice" "-")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Bob is not cold.
("Bob" "is" "cold" "-")
((triple4 triple2) -> (rule1 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple10) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1