Dave is nice. Erin is furry. Fiona is big. Fiona is white. Fiona is young. Harry is green. Harry is quiet. Furry people are quiet. If someone is big and quiet then they are white.
Dave is nice.
("Dave" "is" "nice" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If someone is big and quiet then they are white.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
Fiona is big.
True
1
proof
[(triple3)]
("Fiona" "is" "big" "+")
triple3
Fiona is not white.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "white" "-")
triple4
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "white" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Dave is nice.[(triple1)] Erin is furry.[(triple2)] Fiona is big.[(triple3)] Fiona is white.[(triple4)] Fiona is young.[(triple5)] Harry is green.[(triple6)] Harry is quiet.[(triple7)] @1: Erin is quiet.[(((triple2) -> rule1))]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1