The cow eats the lion. The cow is blue. The cow is cold. The cow is nice. The cow is round. The cow sees the lion. The cow visits the lion. The lion eats the cow. The lion is blue. The lion is cold. The lion is green. The lion is nice. The lion is round. The lion sees the cow. The lion visits the cow. If something sees the lion and it sees the cow then it is cold. If something visits the lion then it sees the cow. If the cow visits the lion and the cow does not see the lion then the cow is blue. If the lion eats the cow and the cow is blue then the cow eats the lion. If something eats the lion then the lion eats the cow. If something visits the lion and it does not see the lion then it is green.
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is round.
("cow" "is" "round" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
If something sees the lion and it sees the cow then it is cold.
((("something" "sees" "lion" "+") ("something" "sees" "cow" "+")) -> ("something" "is" "cold" "+"))
If something visits the lion then it sees the cow.
((("something" "visits" "lion" "+")) -> ("something" "sees" "cow" "+"))
If the cow visits the lion and the cow does not see the lion then the cow is blue.
((("cow" "visits" "lion" "+") ("cow" "sees" "lion" "~")) -> ("cow" "is" "blue" "+"))
If the lion eats the cow and the cow is blue then the cow eats the lion.
((("lion" "eats" "cow" "+") ("cow" "is" "blue" "+")) -> ("cow" "eats" "lion" "+"))
If something eats the lion then the lion eats the cow.
((("something" "eats" "lion" "+")) -> ("lion" "eats" "cow" "+"))
If something visits the lion and it does not see the lion then it is green.
((("something" "visits" "lion" "+") ("something" "sees" "lion" "~")) -> ("something" "is" "green" "+"))
The cow is blue.
True
1
proof
[(triple2)]
("cow" "is" "blue" "+")
triple2
The lion is not round.
False
1
inv-proof
[(triple13)]
("lion" "is" "round" "-")
triple13
The cow sees the cow.
True
2
proof
[(((triple7) -> rule2))]
("cow" "sees" "cow" "+")
((triple7) -> (rule2 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow does not see the cow.
False
2
inv-proof
[(((triple7) -> rule2))]
("cow" "sees" "cow" "-")
((triple7) -> (rule2 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "green" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The cow eats the lion.[(triple1 OR ((triple8 triple2) -> rule4))] The cow is blue.[(triple2)] The cow is cold.[(triple3 OR ((triple6 ((triple7) -> rule2)) -> rule1))] The cow is nice.[(triple4)] The cow is round.[(triple5)] The cow sees the lion.[(triple6)] The cow visits the lion.[(triple7)] The lion eats the cow.[(triple8 OR ((triple1) -> rule5))] The lion is blue.[(triple9)] The lion is cold.[(triple10)] The lion is green.[(triple11)] The lion is nice.[(triple12)] The lion is round.[(triple13)] The lion sees the cow.[(triple14)] The lion visits the cow.[(triple15)] @1: The cow sees the cow.[(((triple7) -> rule2))]
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
((triple8 triple2) -> (rule4 % int1))
The cow eats the lion.
("cow" "eats" "lion" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
((triple6 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
The cow sees the lion.
("cow" "sees" "lion" "+")
triple6
The cow visits the lion.
("cow" "visits" "lion" "+")
triple7
The lion eats the cow.
("lion" "eats" "cow" "+")
triple8
((triple1) -> (rule5 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
triple9
The lion is cold.
("lion" "is" "cold" "+")
triple10
The lion is green.
("lion" "is" "green" "+")
triple11
The lion is nice.
("lion" "is" "nice" "+")
triple12
The lion is round.
("lion" "is" "round" "+")
triple13
The lion sees the cow.
("lion" "sees" "cow" "+")
triple14
The lion visits the cow.
("lion" "visits" "cow" "+")
triple15
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple7) -> (rule2 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1