Anne is cold. Anne is quiet. Gary is green. Gary is round. Harry is green. Harry is quiet. Harry is round. Quiet, big things are furry. Quiet things are cold. All green, cold things are big.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Quiet, big things are furry.
((("something" "is" "quiet" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
Quiet things are cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
All green, cold things are big.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
Gary is green.
True
1
proof
[(triple3)]
("Gary" "is" "green" "+")
triple3
Harry is not quiet.
False
1
inv-proof
[(triple6)]
("Harry" "is" "quiet" "-")
triple6
Harry is cold.
True
2
proof
[(((triple6) -> rule2))]
("Harry" "is" "cold" "+")
((triple6) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
2
inv-proof
[(((triple6) -> rule2))]
("Harry" "is" "cold" "-")
((triple6) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
True
4
proof
[(((triple5 ((triple6) -> rule2)) -> rule3))]
("Harry" "is" "big" "+")
((triple5 ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not big.
False
4
inv-proof
[(((triple5 ((triple6) -> rule2)) -> rule3))]
("Harry" "is" "big" "-")
((triple5 ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
True
6
proof
[(((triple6 ((triple5 ((triple6) -> rule2)) -> rule3)) -> rule1))]
("Harry" "is" "furry" "+")
((triple6 ((triple5 ((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is not furry.
False
6
inv-proof
[(((triple6 ((triple5 ((triple6) -> rule2)) -> rule3)) -> rule1))]
("Harry" "is" "furry" "-")
((triple6 ((triple5 ((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "furry" "-")
Anne is furry.
Unknown
rconc
[@2: Anne is furry.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Anne" "is" "furry" "+")
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "big" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is cold.[(triple1 OR ((triple2) -> rule2))] Anne is quiet.[(triple2)] Gary is green.[(triple3)] Gary is round.[(triple4)] Harry is green.[(triple5)] Harry is quiet.[(triple6)] Harry is round.[(triple7)] @1: Harry is cold.[(((triple6) -> rule2))] @2: Harry is big.[(((triple5 ((triple6) -> rule2)) -> rule3))] @3: Harry is furry.[(((triple6 ((triple5 ((triple6) -> rule2)) -> rule3)) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple2) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
((triple6) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple5 ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((triple6 ((triple5 ((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3