The cow is young. The dog chases the rabbit. The dog is big. The dog is cold. The dog is round. The dog likes the lion. The lion chases the dog. The lion chases the rabbit. The lion is big. The lion likes the cow. The lion visits the dog. The lion visits the rabbit. The rabbit chases the lion. The rabbit likes the dog. The rabbit likes the lion. The rabbit visits the cow. If something chases the dog then the dog is rough.
The cow is young.
("cow" "is" "young" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is big.
("lion" "is" "big" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If something chases the dog then the dog is rough.
((("something" "chases" "dog" "+")) -> ("dog" "is" "rough" "+"))
The lion chases the rabbit.
True
1
proof
[(triple8)]
("lion" "chases" "rabbit" "+")
triple8
The lion is not big.
False
1
inv-proof
[(triple9)]
("lion" "is" "big" "-")
triple9
The dog is rough.
True
2
proof
[(((triple7) -> rule1))]
("dog" "is" "rough" "+")
((triple7) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is not rough.
False
2
inv-proof
[(((triple7) -> rule1))]
("dog" "is" "rough" "-")
((triple7) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The lion is not cold.
Unknown
inv-random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
The cow is not cold.
Unknown
inv-random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The cow is young.[(triple1)] The dog chases the rabbit.[(triple2)] The dog is big.[(triple3)] The dog is cold.[(triple4)] The dog is round.[(triple5)] The dog likes the lion.[(triple6)] The lion chases the dog.[(triple7)] The lion chases the rabbit.[(triple8)] The lion is big.[(triple9)] The lion likes the cow.[(triple10)] The lion visits the dog.[(triple11)] The lion visits the rabbit.[(triple12)] The rabbit chases the lion.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit likes the lion.[(triple15)] The rabbit visits the cow.[(triple16)] @1: The dog is rough.[(((triple7) -> rule1))]
The cow is young.
("cow" "is" "young" "+")
triple1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The dog likes the lion.
("dog" "likes" "lion" "+")
triple6
The lion chases the dog.
("lion" "chases" "dog" "+")
triple7
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple8
The lion is big.
("lion" "is" "big" "+")
triple9
The lion likes the cow.
("lion" "likes" "cow" "+")
triple10
The lion visits the dog.
("lion" "visits" "dog" "+")
triple11
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple12
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple13
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple14
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple15
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple16
The dog is rough.
("dog" "is" "rough" "+")
((triple7) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1