Bob is not round. Erin is young. Gary is young. Round people are rough. If someone is smart and not round then they are rough. All blue people are not nice. If someone is furry and smart then they are not nice. If Erin is not young then Erin is not furry. If Erin is round and Erin is not smart then Erin is not nice.
Bob is not round.
("Bob" "is" "round" "-")
Erin is young.
("Erin" "is" "young" "+")
Gary is young.
("Gary" "is" "young" "+")
Round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is smart and not round then they are rough.
((("someone" "is" "smart" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "rough" "+"))
All blue people are not nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "-"))
If someone is furry and smart then they are not nice.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "-"))
If Erin is not young then Erin is not furry.
((("Erin" "is" "young" "~")) -> ("Erin" "is" "furry" "-"))
If Erin is round and Erin is not smart then Erin is not nice.
((("Erin" "is" "round" "+") ("Erin" "is" "smart" "~")) -> ("Erin" "is" "nice" "-"))
Bob is not round.
True
1
proof
[(triple1)]
("Bob" "is" "round" "-")
triple1
Erin is not young.
False
1
inv-proof
[(triple2)]
("Erin" "is" "young" "-")
triple2
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is not round.[(triple1)] Erin is young.[(triple2)] Gary is young.[(triple3)]
Bob is not round.
("Bob" "is" "round" "-")
triple1
Erin is young.
("Erin" "is" "young" "+")
triple2
Gary is young.
("Gary" "is" "young" "+")
triple3