Charlie is blue. Erin is kind. Gary is nice. Harry is quiet. All cold, nice things are round. If something is red and not blue then it is round. If something is nice then it is not round. If Erin is not cold then Erin is quiet. If Charlie is blue then Charlie is quiet. Blue, cold things are red. If something is blue and not quiet then it is not kind. Blue things are not kind.
Charlie is blue.
("Charlie" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All cold, nice things are round.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If something is red and not blue then it is round.
((("something" "is" "red" "+") ("something" "is" "blue" "~")) -> ("something" "is" "round" "+"))
If something is nice then it is not round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "-"))
If Erin is not cold then Erin is quiet.
((("Erin" "is" "cold" "~")) -> ("Erin" "is" "quiet" "+"))
If Charlie is blue then Charlie is quiet.
((("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "quiet" "+"))
Blue, cold things are red.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something is blue and not quiet then it is not kind.
((("something" "is" "blue" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "kind" "-"))
Blue things are not kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "-"))
Charlie is blue.
True
1
proof
[(triple1)]
("Charlie" "is" "blue" "+")
triple1
Erin is not kind.
False
1
inv-proof
[(triple2)]
("Erin" "is" "kind" "-")
triple2
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Charlie is blue.[(triple1)] Erin is kind.[(triple2)] Gary is nice.[(triple3)] Harry is quiet.[(triple4)] @1: Charlie is not kind.[(((triple1) -> rule8))] Charlie is quiet.[(((triple1) -> rule5))] Gary is not round.[(((triple3) -> rule3))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple4
Charlie is not kind.
("Charlie" "is" "kind" "-")
((triple1) -> (rule8 % int1))
Charlie is not kind.
("Charlie" "is" "kind" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple1) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Gary is not round.
("Gary" "is" "round" "-")
((triple3) -> (rule3 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1