The cat is big. The cat is blue. The cat is green. The cat is nice. The cat is young. If the cat is green and the cat is blue then the cat is big. All big, young things are nice. If something is blue then it is green.
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is young.
("cat" "is" "young" "+")
If the cat is green and the cat is blue then the cat is big.
((("cat" "is" "green" "+") ("cat" "is" "blue" "+")) -> ("cat" "is" "big" "+"))
All big, young things are nice.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is blue then it is green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
The cat is green.
True
1
proof
[(triple3 OR ((triple2) -> rule3))]
("cat" "is" "green" "+")
triple3
((triple2) -> (rule3 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is not young.
False
1
inv-proof
[(triple5)]
("cat" "is" "young" "-")
triple5
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The cat is big.[(triple1 OR ((triple3 triple2) -> rule1) OR ((((triple2) -> rule3) triple2) -> rule1))] The cat is blue.[(triple2)] The cat is green.[(triple3 OR ((triple2) -> rule3))] The cat is nice.[(triple4 OR ((triple1 triple5) -> rule2) OR ((((triple3 triple2) -> rule1) triple5) -> rule2) OR ((((((triple2) -> rule3) triple2) -> rule1) triple5) -> rule2))] The cat is young.[(triple5)]
The cat is big.
("cat" "is" "big" "+")
triple1
((triple3 triple2) -> (rule1 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
((((triple2) -> (rule3 % int2)) triple2) -> (rule1 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
((triple2) -> (rule3 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
triple4
((triple1 triple5) -> (rule2 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
((((triple3 triple2) -> (rule1 % int2)) triple5) -> (rule2 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
((((((triple2) -> (rule3 % int3)) triple2) -> (rule1 % int2)) triple5) -> (rule2 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The cat is young.
("cat" "is" "young" "+")
triple5