The cat is young. If something is young then it is big. If the cat is round and the cat is cold then the cat is young.
The cat is young.
("cat" "is" "young" "+")
If something is young then it is big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If the cat is round and the cat is cold then the cat is young.
((("cat" "is" "round" "+") ("cat" "is" "cold" "+")) -> ("cat" "is" "young" "+"))
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 big.
True
2
proof
[(((triple1) -> rule1))]
("cat" "is" "big" "+")
((triple1) -> (rule1 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is not big.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "is" "big" "-")
((triple1) -> (rule1 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "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 does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
@0: The cat is young.[(triple1)] @1: The cat is big.[(((triple1) -> rule1))]
The cat is young.
("cat" "is" "young" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
((triple1) -> (rule1 % int1))
The cat is big.
("cat" "is" "big" "+")
int1