The cow is blue. The cow is kind. The cow is round. The cow likes the dog. The dog chases the tiger. The dog is blue. The dog is cold. The dog is kind. The dog is young. The dog likes the cow. The dog sees the cow. The dog sees the tiger. The tiger chases the cow. The tiger is round. The tiger is young. If something likes the cow and the cow is kind then the cow sees the tiger. If something sees the tiger and the tiger likes the dog then it sees the dog. If the dog chases the tiger and the dog is round then the tiger sees the dog.
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
If something likes the cow and the cow is kind then the cow sees the tiger.
((("something" "likes" "cow" "+") ("cow" "is" "kind" "+")) -> ("cow" "sees" "tiger" "+"))
If something sees the tiger and the tiger likes the dog then it sees the dog.
((("something" "sees" "tiger" "+") ("tiger" "likes" "dog" "+")) -> ("something" "sees" "dog" "+"))
If the dog chases the tiger and the dog is round then the tiger sees the dog.
((("dog" "chases" "tiger" "+") ("dog" "is" "round" "+")) -> ("tiger" "sees" "dog" "+"))
The cow is round.
True
1
proof
[(triple3)]
("cow" "is" "round" "+")
triple3
The cow is not kind.
False
1
inv-proof
[(triple2)]
("cow" "is" "kind" "-")
triple2
The cow sees the tiger.
True
3
proof
[(((triple10 triple2) -> rule1))]
("cow" "sees" "tiger" "+")
((triple10 triple2) -> (rule1 % int1))
The cow sees the tiger.
("cow" "sees" "tiger" "+")
int1
The cow does not see the tiger.
False
3
inv-proof
[(((triple10 triple2) -> rule1))]
("cow" "sees" "tiger" "-")
((triple10 triple2) -> (rule1 % int1))
The cow sees the tiger.
("cow" "sees" "tiger" "+")
int1
The dog does not see the dog.
Unknown
inv-rconc
[@1: The dog sees the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "sees" "dog" "-")
The cow sees the dog.
Unknown
rconc
[@1: The cow sees the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "sees" "dog" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The cow is blue.[(triple1)] The cow is kind.[(triple2)] The cow is round.[(triple3)] The cow likes the dog.[(triple4)] The dog chases the tiger.[(triple5)] The dog is blue.[(triple6)] The dog is cold.[(triple7)] The dog is kind.[(triple8)] The dog is young.[(triple9)] The dog likes the cow.[(triple10)] The dog sees the cow.[(triple11)] The dog sees the tiger.[(triple12)] The tiger chases the cow.[(triple13)] The tiger is round.[(triple14)] The tiger is young.[(triple15)] @1: The cow sees the tiger.[(((triple10 triple2) -> rule1))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is round.
("cow" "is" "round" "+")
triple3
The cow likes the dog.
("cow" "likes" "dog" "+")
triple4
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple5
The dog is blue.
("dog" "is" "blue" "+")
triple6
The dog is cold.
("dog" "is" "cold" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The dog likes the cow.
("dog" "likes" "cow" "+")
triple10
The dog sees the cow.
("dog" "sees" "cow" "+")
triple11
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple12
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger is young.
("tiger" "is" "young" "+")
triple15
The cow sees the tiger.
("cow" "sees" "tiger" "+")
((triple10 triple2) -> (rule1 % int1))
The cow sees the tiger.
("cow" "sees" "tiger" "+")
int1