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