Charlie is quiet. Charlie is young. Dave is big. Dave is blue. Dave is furry. Dave is not round. Erin is big. Erin is blue. Erin is young. Gary is furry. Gary is quiet. Gary is smart. If Erin is quiet and Erin is not big then Erin is round.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not round.
("Dave" "is" "round" "-")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Erin is quiet and Erin is not big then Erin is round.
((("Erin" "is" "quiet" "+") ("Erin" "is" "big" "~")) -> ("Erin" "is" "round" "+"))
Dave is blue.
True
1
proof
[(triple4)]
("Dave" "is" "blue" "+")
triple4
Dave is not big.
False
1
inv-proof
[(triple3)]
("Dave" "is" "big" "-")
triple3
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "round" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Charlie is quiet.[(triple1)] Charlie is young.[(triple2)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5)] Dave is not round.[(triple6)] Erin is big.[(triple7)] Erin is blue.[(triple8)] Erin is young.[(triple9)] Gary is furry.[(triple10)] Gary is quiet.[(triple11)] Gary is smart.[(triple12)]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is not round.
("Dave" "is" "round" "-")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple12