Charlie is round. Erin is round. Fiona is cold. Harry is furry. Green, cold people are quiet. If Harry is quiet and Harry is green then Harry is smart. All cold, smart people are round. If someone is quiet then they are cold. All green, smart people are quiet. If Charlie is cold then Charlie is quiet. If Charlie is cold then Charlie is green. If Charlie is smart then Charlie is furry.
Charlie is round.
("Charlie" "is" "round" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Green, cold people are quiet.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
If Harry is quiet and Harry is green then Harry is smart.
((("Harry" "is" "quiet" "+") ("Harry" "is" "green" "+")) -> ("Harry" "is" "smart" "+"))
All cold, smart people are round.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
If someone is quiet then they are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
All green, smart people are quiet.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
If Charlie is cold then Charlie is quiet.
((("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "quiet" "+"))
If Charlie is cold then Charlie is green.
((("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "green" "+"))
If Charlie is smart then Charlie is furry.
((("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "furry" "+"))
Charlie is round.
True
1
proof
[(triple1)]
("Charlie" "is" "round" "+")
triple1
Fiona is not cold.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "cold" "-")
triple3
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Charlie" "is" "furry" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Charlie is round.[(triple1)] Erin is round.[(triple2)] Fiona is cold.[(triple3)] Harry is furry.[(triple4)]
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4