Charlie is blue. Erin is cold. Harry is blue. If someone is round and blue then they are rough. If someone is cold then they are nice.
Charlie is blue.
("Charlie" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and blue then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold then they are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Harry is blue.
True
1
proof
[(triple3)]
("Harry" "is" "blue" "+")
triple3
Erin is not cold.
False
1
inv-proof
[(triple2)]
("Erin" "is" "cold" "-")
triple2
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "rough" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Charlie is blue.[(triple1)] Erin is cold.[(triple2)] Harry is blue.[(triple3)] @1: Erin is nice.[(((triple2) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Harry is blue.
("Harry" "is" "blue" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1