The dog is cold. The dog is nice. The dog is young. If someone is big and nice then they are rough. All cold people are big.
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
If someone is big and nice then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All cold people are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
The dog is young.
True
1
proof
[(triple3)]
("dog" "is" "young" "+")
triple3
The dog is not cold.
False
1
inv-proof
[(triple1)]
("dog" "is" "cold" "-")
triple1
The dog is big.
True
2
proof
[(((triple1) -> rule2))]
("dog" "is" "big" "+")
((triple1) -> (rule2 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is not big.
False
2
inv-proof
[(((triple1) -> rule2))]
("dog" "is" "big" "-")
((triple1) -> (rule2 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is rough.
True
4
proof
[(((((triple1) -> rule2) triple2) -> rule1))]
("dog" "is" "rough" "+")
((((triple1) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog is not rough.
False
4
inv-proof
[(((((triple1) -> rule2) triple2) -> rule1))]
("dog" "is" "rough" "-")
((((triple1) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The dog is cold.[(triple1)] The dog is nice.[(triple2)] The dog is young.[(triple3)] @1: The dog is big.[(((triple1) -> rule2))] @2: The dog is rough.[(((((triple1) -> rule2) triple2) -> rule1))]
The dog is cold.
("dog" "is" "cold" "+")
triple1
The dog is nice.
("dog" "is" "nice" "+")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3
The dog is big.
("dog" "is" "big" "+")
((triple1) -> (rule2 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((((triple1) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2