Anne is young. Bob is blue. Bob is cold. Bob is red. Gary is cold. Gary is not young. Harry is cold. Harry is quiet. Harry is red. Harry is young. Nice, cold things are red. If something is quiet then it is red.
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not young.
("Gary" "is" "young" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Nice, cold things are red.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something is quiet then it is red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
Bob is blue.
True
1
proof
[(triple2)]
("Bob" "is" "blue" "+")
triple2
Harry is not red.
False
1
inv-proof
[(triple9 OR ((triple8) -> rule2))]
("Harry" "is" "red" "-")
triple9
((triple8) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is young.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is red.[(triple4)] Gary is cold.[(triple5)] Gary is not young.[(triple6)] Harry is cold.[(triple7)] Harry is quiet.[(triple8)] Harry is red.[(triple9 OR ((triple8) -> rule2))] Harry is young.[(triple10)]
Anne is young.
("Anne" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is not young.
("Gary" "is" "young" "-")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
((triple8) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple10