Charlie is green. Erin is cold. Fiona is rough. Harry is quiet. All young things are smart. Smart, quiet things are cold. If Erin is smart and Erin is round then Erin is not young. If Fiona is quiet then Fiona is cold. If Charlie is round and Charlie is not cold then Charlie is rough. If something is young and quiet then it is rough. If something is cold and not young then it is rough. If Charlie is round and Charlie is not smart then Charlie is not green.
Charlie is green.
("Charlie" "is" "green" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All young things are smart.
((("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
Smart, quiet things are cold.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If Erin is smart and Erin is round then Erin is not young.
((("Erin" "is" "smart" "+") ("Erin" "is" "round" "+")) -> ("Erin" "is" "young" "-"))
If Fiona is quiet then Fiona is cold.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "cold" "+"))
If Charlie is round and Charlie is not cold then Charlie is rough.
((("Charlie" "is" "round" "+") ("Charlie" "is" "cold" "~")) -> ("Charlie" "is" "rough" "+"))
If something is young and quiet then it is rough.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If something is cold and not young then it is rough.
((("something" "is" "cold" "+") ("something" "is" "young" "~")) -> ("something" "is" "rough" "+"))
If Charlie is round and Charlie is not smart then Charlie is not green.
((("Charlie" "is" "round" "+") ("Charlie" "is" "smart" "~")) -> ("Charlie" "is" "green" "-"))
Erin is cold.
True
1
proof
[(triple2)]
("Erin" "is" "cold" "+")
triple2
Erin is not cold.
False
1
inv-proof
[(triple2)]
("Erin" "is" "cold" "-")
triple2
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "cold" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Charlie is green.[(triple1)] Erin is cold.[(triple2)] Fiona is rough.[(triple3)] Harry is quiet.[(triple4)]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple4