Anne is blue. Anne is cold. Anne is nice. Anne is red. Gary is blue. Gary is cold. Gary is nice. Gary is young. Harry is blue. Harry is nice. Young people are red. All quiet people are red. All furry, nice people are blue. Young people are quiet. If someone is young and blue then they are nice. If Gary is nice and Gary is cold then Gary is red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All quiet people are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
All furry, nice people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Young people are quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
If someone is young and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If Gary is nice and Gary is cold then Gary is red.
((("Gary" "is" "nice" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "red" "+"))
Anne is nice.
True
1
proof
[(triple3)]
("Anne" "is" "nice" "+")
triple3
Gary is not young.
False
1
inv-proof
[(triple8)]
("Gary" "is" "young" "-")
triple8
Gary is quiet.
True
2
proof
[(((triple8) -> rule4))]
("Gary" "is" "quiet" "+")
((triple8) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is not quiet.
False
2
inv-proof
[(((triple8) -> rule4))]
("Gary" "is" "quiet" "-")
((triple8) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Harry is not red.
Unknown
inv-rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is quiet.
Unknown
rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "quiet" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Gary is blue.[(triple5)] Gary is cold.[(triple6)] Gary is nice.[(triple7 OR ((triple8 triple5) -> rule5))] Gary is young.[(triple8)] Harry is blue.[(triple9)] Harry is nice.[(triple10)] @1: Gary is quiet.[(((triple8) -> rule4))] Gary is red.[(((triple8) -> rule1) OR ((triple7 triple6) -> rule6) OR ((((triple8) -> rule4)) -> rule2) OR ((((triple8 triple5) -> rule5) triple6) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
((triple8 triple5) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple8) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple8) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple7 triple6) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple8 triple5) -> (rule5 % int2)) triple6) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2