Erin is nice. Erin is rough. Erin is round. Erin is white. Fiona is round. Harry is furry. Harry is smart. If something is round and furry then it is white.
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is round and furry then it is white.
((("something" "is" "round" "+") ("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
Erin is rough.
True
1
proof
[(triple2)]
("Erin" "is" "rough" "+")
triple2
Fiona is not round.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "round" "-")
triple5
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Erin is nice.[(triple1)] Erin is rough.[(triple2)] Erin is round.[(triple3)] Erin is white.[(triple4)] Fiona is round.[(triple5)] Harry is furry.[(triple6)] Harry is smart.[(triple7)]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7