Bob is furry. Bob is not kind. Bob is round. Bob is young. Erin is big. Erin is rough. Erin is young. If Erin is kind and Erin is not round then Erin is big. If someone is rough and not kind then they are blue. All blue people are furry.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
If Erin is kind and Erin is not round then Erin is big.
((("Erin" "is" "kind" "+") ("Erin" "is" "round" "~")) -> ("Erin" "is" "big" "+"))
If someone is rough and not kind then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "blue" "+"))
All blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
Erin is young.
True
1
proof
[(triple7)]
("Erin" "is" "young" "+")
triple7
Bob is kind.
False
1
inv-proof
[(triple2)]
("Bob" "is" "kind" "+")
triple2
Erin is not furry.
Unknown
inv-rconc
[@2: Erin is furry.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Erin" "is" "furry" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Bob is furry.[(triple1)] Bob is not kind.[(triple2)] Bob is round.[(triple3)] Bob is young.[(triple4)] Erin is big.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7)]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is not kind.
("Bob" "is" "kind" "-")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7