The dog is big. The dog is rough. The dog is round. Rough things are kind. If something is big and round then it is rough.
The dog is big.
("dog" "is" "big" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
Rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is big and round then it is rough.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
The dog is round.
True
1
proof
[(triple3)]
("dog" "is" "round" "+")
triple3
The dog is not rough.
False
1
inv-proof
[(triple2 OR ((triple1 triple3) -> rule2))]
("dog" "is" "rough" "-")
triple2
((triple1 triple3) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is kind.
True
2
proof
[(((triple2) -> rule1) OR ((((triple1 triple3) -> rule2)) -> rule1))]
("dog" "is" "kind" "+")
((triple2) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
((((triple1 triple3) -> (rule2 % int2))) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog is not kind.
False
2
inv-proof
[(((triple2) -> rule1) OR ((((triple1 triple3) -> rule2)) -> rule1))]
("dog" "is" "kind" "-")
((triple2) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
((((triple1 triple3) -> (rule2 % int2))) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
The dog is not cold.
Unknown
inv-random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "-")
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 big.[(triple1)] The dog is rough.[(triple2 OR ((triple1 triple3) -> rule2))] The dog is round.[(triple3)] @1: The dog is kind.[(((triple2) -> rule1) OR ((((triple1 triple3) -> rule2)) -> rule1))]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is rough.
("dog" "is" "rough" "+")
triple2
((triple1 triple3) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is round.
("dog" "is" "round" "+")
triple3
The dog is kind.
("dog" "is" "kind" "+")
((triple2) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
((((triple1 triple3) -> (rule2 % int2))) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2