Anne is cold. Gary is cold. Gary is quiet. If someone is quiet then they are young. All young people are nice. If Gary is nice and Gary is cold then Gary is blue.
Anne is cold.
("Anne" "is" "cold" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If someone is quiet then they are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If Gary is nice and Gary is cold then Gary is blue.
((("Gary" "is" "nice" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "blue" "+"))
Gary is quiet.
True
1
proof
[(triple3)]
("Gary" "is" "quiet" "+")
triple3
Gary is not quiet.
False
1
inv-proof
[(triple3)]
("Gary" "is" "quiet" "-")
triple3
Gary is young.
True
2
proof
[(((triple3) -> rule1))]
("Gary" "is" "young" "+")
((triple3) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple3) -> rule1))]
("Gary" "is" "young" "-")
((triple3) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
True
3
proof
[(((((triple3) -> rule1)) -> rule2))]
("Gary" "is" "nice" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not nice.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule2))]
("Gary" "is" "nice" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is blue.
True
5
proof
[(((((((triple3) -> rule1)) -> rule2) triple2) -> rule3))]
("Gary" "is" "blue" "+")
((((((triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not blue.
False
5
inv-proof
[(((((((triple3) -> rule1)) -> rule2) triple2) -> rule3))]
("Gary" "is" "blue" "-")
((((((triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Anne is not nice.
Unknown
inv-rconc
[@2: Anne is nice.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Anne is young.
Unknown
rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "young" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is cold.[(triple1)] Gary is cold.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is young.[(((triple3) -> rule1))] @2: Gary is nice.[(((((triple3) -> rule1)) -> rule2))] @3: Gary is blue.[(((((((triple3) -> rule1)) -> rule2) triple2) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Gary is young.
("Gary" "is" "young" "+")
((triple3) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((((triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3