The cat eats the cow. The cat is red. The cat likes the dog. The cat sees the rabbit. The cow eats the cat. The cow is blue. The dog is blue. The dog likes the cow. The dog sees the rabbit. The rabbit eats the cat. The rabbit is blue. The rabbit is red. If something eats the rabbit and it is rough then it sees the rabbit. If something eats the rabbit and the rabbit eats the cow then the rabbit likes the dog. If the cat is green then the cat sees the cow. If something is green then it likes the cat. If something likes the dog then it is green. If something eats the cat then the cat is green. If something is green and it likes the cow then the cow likes the rabbit. If something sees the cow then the cow likes the dog.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is blue.
("cow" "is" "blue" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If something eats the rabbit and it is rough then it sees the rabbit.
((("something" "eats" "rabbit" "+") ("something" "is" "rough" "+")) -> ("something" "sees" "rabbit" "+"))
If something eats the rabbit and the rabbit eats the cow then the rabbit likes the dog.
((("something" "eats" "rabbit" "+") ("rabbit" "eats" "cow" "+")) -> ("rabbit" "likes" "dog" "+"))
If the cat is green then the cat sees the cow.
((("cat" "is" "green" "+")) -> ("cat" "sees" "cow" "+"))
If something is green then it likes the cat.
((("something" "is" "green" "+")) -> ("something" "likes" "cat" "+"))
If something likes the dog then it is green.
((("something" "likes" "dog" "+")) -> ("something" "is" "green" "+"))
If something eats the cat then the cat is green.
((("something" "eats" "cat" "+")) -> ("cat" "is" "green" "+"))
If something is green and it likes the cow then the cow likes the rabbit.
((("something" "is" "green" "+") ("something" "likes" "cow" "+")) -> ("cow" "likes" "rabbit" "+"))
If something sees the cow then the cow likes the dog.
((("something" "sees" "cow" "+")) -> ("cow" "likes" "dog" "+"))
The cat likes the dog.
True
1
proof
[(triple3)]
("cat" "likes" "dog" "+")
triple3
The cow does not eat the cat.
False
1
inv-proof
[(triple5)]
("cow" "eats" "cat" "-")
triple5
The cat is green.
True
2
proof
[(((triple10) -> rule6) OR ((triple3) -> rule5) OR ((triple5) -> rule6))]
("cat" "is" "green" "+")
((triple10) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
((triple3) -> (rule5 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
((triple5) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat is not green.
False
2
inv-proof
[(((triple10) -> rule6) OR ((triple3) -> rule5) OR ((triple5) -> rule6))]
("cat" "is" "green" "-")
((triple10) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
((triple3) -> (rule5 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
((triple5) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat likes the cat.
True
3
proof
[(((((triple10) -> rule6)) -> rule4) OR ((((triple3) -> rule5)) -> rule4) OR ((((triple5) -> rule6)) -> rule4))]
("cat" "likes" "cat" "+")
((((triple10) -> (rule6 % int2))) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
((((triple5) -> (rule6 % int2))) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat does not like the cat.
False
3
inv-proof
[(((((triple10) -> rule6)) -> rule4) OR ((((triple3) -> rule5)) -> rule4) OR ((((triple5) -> rule6)) -> rule4))]
("cat" "likes" "cat" "-")
((((triple10) -> (rule6 % int2))) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
((((triple5) -> (rule6 % int2))) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cow likes the dog.
True
4
proof
[(((((((triple10) -> rule6)) -> rule3)) -> rule8) OR ((((((triple3) -> rule5)) -> rule3)) -> rule8) OR ((((((triple5) -> rule6)) -> rule3)) -> rule8))]
("cow" "likes" "dog" "+")
((((((triple10) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
((((((triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The cow does not like the dog.
False
4
inv-proof
[(((((((triple10) -> rule6)) -> rule3)) -> rule8) OR ((((((triple3) -> rule5)) -> rule3)) -> rule8) OR ((((((triple5) -> rule6)) -> rule3)) -> rule8))]
("cow" "likes" "dog" "-")
((((((triple10) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
((((((triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The cow is green.
True
5
proof
[(((((((((triple10) -> rule6)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple3) -> rule5)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule3)) -> rule8)) -> rule5))]
("cow" "is" "green" "+")
((((((((triple10) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cat sees the cow.
("cat" "sees" "cow" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
((((((((triple3) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cat sees the cow.
("cat" "sees" "cow" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cat sees the cow.
("cat" "sees" "cow" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
The cow is not green.
False
5
inv-proof
[(((((((((triple10) -> rule6)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple3) -> rule5)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule3)) -> rule8)) -> rule5))]
("cow" "is" "green" "-")
((((((((triple10) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cat sees the cow.
("cat" "sees" "cow" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
((((((((triple3) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cat sees the cow.
("cat" "sees" "cow" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cat sees the cow.
("cat" "sees" "cow" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
The cow likes the cat.
True
6
proof
[(((((((((((triple10) -> rule6)) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((((((((((triple3) -> rule5)) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((((((((((triple5) -> rule6)) -> rule3)) -> rule8)) -> rule5)) -> rule4))]
("cow" "likes" "cat" "+")
((((((((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cat sees the cow.
("cat" "sees" "cow" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5
((((((((((triple3) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cat sees the cow.
("cat" "sees" "cow" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cat sees the cow.
("cat" "sees" "cow" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5
The cow does not like the cat.
False
6
inv-proof
[(((((((((((triple10) -> rule6)) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((((((((((triple3) -> rule5)) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((((((((((triple5) -> rule6)) -> rule3)) -> rule8)) -> rule5)) -> rule4))]
("cow" "likes" "cat" "-")
((((((((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cat sees the cow.
("cat" "sees" "cow" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5
((((((((((triple3) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cat sees the cow.
("cat" "sees" "cow" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cat sees the cow.
("cat" "sees" "cow" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "is" "green" "-")
The cow sees the rabbit.
Unknown
rconc
[@1: The cow sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "rabbit" "+")
The rabbit does not like the cat.
Unknown
inv-rconc
[@3: The rabbit likes the cat.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule2 <- FAIL)]]
("rabbit" "likes" "cat" "-")
The rabbit sees the rabbit.
Unknown
rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "sees" "rabbit" "+")
The cow does not like the rabbit.
Unknown
inv-rconc
[@2: The cow likes the rabbit.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("cow" "likes" "rabbit" "-")
The dog likes the cat.
Unknown
rconc
[@2: The dog likes the cat.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("dog" "likes" "cat" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The dog eats the rabbit.
Unknown
random
[@0: The dog eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "rabbit" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The cat eats the cow.[(triple1)] The cat is red.[(triple2)] The cat likes the dog.[(triple3)] The cat sees the rabbit.[(triple4)] The cow eats the cat.[(triple5)] The cow is blue.[(triple6)] The dog is blue.[(triple7)] The dog likes the cow.[(triple8)] The dog sees the rabbit.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is red.[(triple12)] @1: The cat is green.[(((triple10) -> rule6) OR ((triple3) -> rule5) OR ((triple5) -> rule6))] @2: The cat likes the cat.[(((((triple10) -> rule6)) -> rule4) OR ((((triple3) -> rule5)) -> rule4) OR ((((triple5) -> rule6)) -> rule4))] The cat sees the cow.[(((((triple10) -> rule6)) -> rule3) OR ((((triple3) -> rule5)) -> rule3) OR ((((triple5) -> rule6)) -> rule3))] @3: The cow likes the dog.[(((((((triple10) -> rule6)) -> rule3)) -> rule8) OR ((((((triple3) -> rule5)) -> rule3)) -> rule8) OR ((((((triple5) -> rule6)) -> rule3)) -> rule8))] @4: The cow is green.[(((((((((triple10) -> rule6)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple3) -> rule5)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple5) -> rule6)) -> rule3)) -> rule8)) -> rule5))] @5: The cow likes the cat.[(((((((((((triple10) -> rule6)) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((((((((((triple3) -> rule5)) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((((((((((triple5) -> rule6)) -> rule3)) -> rule8)) -> rule5)) -> rule4))]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The cat likes the dog.
("cat" "likes" "dog" "+")
triple3
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple4
The cow eats the cat.
("cow" "eats" "cat" "+")
triple5
The cow is blue.
("cow" "is" "blue" "+")
triple6
The dog is blue.
("dog" "is" "blue" "+")
triple7
The dog likes the cow.
("dog" "likes" "cow" "+")
triple8
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple9
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple10
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple11
The rabbit is red.
("rabbit" "is" "red" "+")
triple12
The cat is green.
("cat" "is" "green" "+")
((triple10) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
((triple3) -> (rule5 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
((triple5) -> (rule6 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
((((triple10) -> (rule6 % int2))) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
((((triple5) -> (rule6 % int2))) -> (rule4 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat sees the cow.
("cat" "sees" "cow" "+")
((((triple10) -> (rule6 % int2))) -> (rule3 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
((((triple5) -> (rule6 % int2))) -> (rule3 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
((((((triple10) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
((((((triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The cow is green.
("cow" "is" "green" "+")
((((((((triple10) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cat sees the cow.
("cat" "sees" "cow" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
((((((((triple3) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cat sees the cow.
("cat" "sees" "cow" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cat sees the cow.
("cat" "sees" "cow" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
The cow likes the cat.
("cow" "likes" "cat" "+")
((((((((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cat sees the cow.
("cat" "sees" "cow" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5
((((((((((triple3) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cat sees the cow.
("cat" "sees" "cow" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5
((((((((((triple5) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cat sees the cow.
("cat" "sees" "cow" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5