The cat is young. If the cat is young then the cat is not nice. If the cat is young and the cat is not cold then the cat is not nice. Young, cold people are not nice. If someone is cold and not young then they are nice. All big people are blue. If the cat is not nice then the cat is big. All blue people are big. All blue people are big.
The cat is young.
("cat" "is" "young" "+")
If the cat is young then the cat is not nice.
((("cat" "is" "young" "+")) -> ("cat" "is" "nice" "-"))
If the cat is young and the cat is not cold then the cat is not nice.
((("cat" "is" "young" "+") ("cat" "is" "cold" "~")) -> ("cat" "is" "nice" "-"))
Young, cold people are not nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "-"))
If someone is cold and not young then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "nice" "+"))
All big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If the cat is not nice then the cat is big.
((("cat" "is" "nice" "~")) -> ("cat" "is" "big" "+"))
All blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
All blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
The cat is young.
True
1
proof
[(triple1)]
("cat" "is" "young" "+")
triple1
The cat is not young.
False
1
inv-proof
[(triple1)]
("cat" "is" "young" "-")
triple1
The cat is not nice.
True
2
proof
[(((triple1) -> rule1))]
("cat" "is" "nice" "-")
((triple1) -> (rule1 % int1))
The cat is not nice.
("cat" "is" "nice" "-")
int1
The cat is nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The cat is not nice.
("cat" "is" "nice" "-")
int1
The cat is big.
True
3
proof
[(((((triple1) -> rule1)) -> rule6))]
("cat" "is" "big" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is not nice.
("cat" "is" "nice" "-")
int2
The cat is not big.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule6))]
("cat" "is" "big" "-")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is not nice.
("cat" "is" "nice" "-")
int2
The cat is blue.
True
4
proof
[(((((((triple1) -> rule1)) -> rule6)) -> rule5))]
("cat" "is" "blue" "+")
((((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The cat is not nice.
("cat" "is" "nice" "-")
int3
The cat is not blue.
False
4
inv-proof
[(((((((triple1) -> rule1)) -> rule6)) -> rule5))]
("cat" "is" "blue" "-")
((((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The cat is not nice.
("cat" "is" "nice" "-")
int3
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The cat is young.[(triple1)] @1: The cat is not nice.[(((triple1) -> rule1))] @2: The cat is big.[(((((triple1) -> rule1)) -> rule6))] @3: The cat is blue.[(((((((triple1) -> rule1)) -> rule6)) -> rule5))]
The cat is young.
("cat" "is" "young" "+")
triple1
The cat is not nice.
("cat" "is" "nice" "-")
((triple1) -> (rule1 % int1))
The cat is not nice.
("cat" "is" "nice" "-")
int1
The cat is big.
("cat" "is" "big" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is not nice.
("cat" "is" "nice" "-")
int2
The cat is blue.
("cat" "is" "blue" "+")
((((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The cat is not nice.
("cat" "is" "nice" "-")
int3