Bob is round. Charlie is round. Dave is furry. Erin is white. If someone is round and big then they are young. If someone is big then they are kind. If someone is kind then they are cold.
Bob is round.
("Bob" "is" "round" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is white.
("Erin" "is" "white" "+")
If someone is round and big then they are young.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is big then they are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Dave is furry.
True
1
proof
[(triple3)]
("Dave" "is" "furry" "+")
triple3
Erin is not white.
False
1
inv-proof
[(triple4)]
("Erin" "is" "white" "-")
triple4
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Bob is round.[(triple1)] Charlie is round.[(triple2)] Dave is furry.[(triple3)] Erin is white.[(triple4)]
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4