Bob is kind. Bob is round. Dave is cold. Dave is furry. Dave is round. Erin is big. Erin is round. Gary is cold. Gary is furry. Gary is kind. If Erin is young and Erin is round then Erin is furry. Quiet people are young.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If Erin is young and Erin is round then Erin is furry.
((("Erin" "is" "young" "+") ("Erin" "is" "round" "+")) -> ("Erin" "is" "furry" "+"))
Quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
Gary is furry.
True
1
proof
[(triple9)]
("Gary" "is" "furry" "+")
triple9
Dave is not round.
False
1
inv-proof
[(triple5)]
("Dave" "is" "round" "-")
triple5
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Bob is kind.[(triple1)] Bob is round.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is round.[(triple5)] Erin is big.[(triple6)] Erin is round.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is kind.[(triple10)]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10