The cow chases the rabbit. The cow eats the rabbit. The cow is big. The cow is nice. The cow is round. The cow is young. The cow visits the rabbit. The rabbit chases the cow. The rabbit eats the cow. The rabbit is big. The rabbit is green. The rabbit is nice. The rabbit is round. The rabbit is young. The rabbit visits the cow. If someone is big then they are round. If someone is green and they eat the cow then the cow visits the rabbit. If someone chases the cow then the cow eats the rabbit. If someone chases the cow then they eat the cow. Young, nice people are big. If someone is big and they chase the rabbit then they visit the cow. If the cow is big and the cow eats the rabbit then the cow chases the rabbit. If the rabbit eats the cow and the rabbit visits the cow then the cow chases the rabbit.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green and they eat the cow then the cow visits the rabbit.
((("someone" "is" "green" "+") ("someone" "eats" "cow" "+")) -> ("cow" "visits" "rabbit" "+"))
If someone chases the cow then the cow eats the rabbit.
((("someone" "chases" "cow" "+")) -> ("cow" "eats" "rabbit" "+"))
If someone chases the cow then they eat the cow.
((("someone" "chases" "cow" "+")) -> ("someone" "eats" "cow" "+"))
Young, nice people are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big and they chase the rabbit then they visit the cow.
((("someone" "is" "big" "+") ("someone" "chases" "rabbit" "+")) -> ("someone" "visits" "cow" "+"))
If the cow is big and the cow eats the rabbit then the cow chases the rabbit.
((("cow" "is" "big" "+") ("cow" "eats" "rabbit" "+")) -> ("cow" "chases" "rabbit" "+"))
If the rabbit eats the cow and the rabbit visits the cow then the cow chases the rabbit.
((("rabbit" "eats" "cow" "+") ("rabbit" "visits" "cow" "+")) -> ("cow" "chases" "rabbit" "+"))
The rabbit is big.
True
1
proof
[(triple10 OR ((triple14 triple12) -> rule5))]
("rabbit" "is" "big" "+")
triple10
((triple14 triple12) -> (rule5 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The cow is not big.
False
1
inv-proof
[(triple3 OR ((triple6 triple4) -> rule5))]
("cow" "is" "big" "-")
triple3
((triple6 triple4) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow visits the cow.
True
3
proof
[(((triple3 triple1) -> rule6) OR ((triple3 ((triple3 triple2) -> rule7)) -> rule6) OR ((triple3 ((triple9 triple15) -> rule8)) -> rule6) OR ((((triple6 triple4) -> rule5) triple1) -> rule6) OR ((((triple6 triple4) -> rule5) ((triple3 triple2) -> rule7)) -> rule6) OR ((((triple6 triple4) -> rule5) ((triple9 triple15) -> rule8)) -> rule6) OR ((triple3 ((triple3 ((triple8) -> rule3)) -> rule7)) -> rule6) OR ((triple3 ((((triple8) -> rule4) triple15) -> rule8)) -> rule6) OR ((triple3 ((((triple6 triple4) -> rule5) triple2) -> rule7)) -> rule6) OR ((triple3 ((((triple6 triple4) -> rule5) ((triple8) -> rule3)) -> rule7)) -> rule6) OR ((((triple6 triple4) -> rule5) ((triple3 ((triple8) -> rule3)) -> rule7)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((triple8) -> rule4) triple15) -> rule8)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((triple6 triple4) -> rule5) triple2) -> rule7)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((triple6 triple4) -> rule5) ((triple8) -> rule3)) -> rule7)) -> rule6))]
("cow" "visits" "cow" "+")
((triple3 triple1) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
((triple3 ((triple3 triple2) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
((triple3 ((triple9 triple15) -> (rule8 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
((((triple6 triple4) -> (rule5 % int2)) triple1) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple6 triple4) -> (rule5 % int3)) ((triple3 triple2) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple6 triple4) -> (rule5 % int3)) ((triple9 triple15) -> (rule8 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((triple3 ((triple3 ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
((triple3 ((((triple8) -> (rule4 % int3)) triple15) -> (rule8 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int3
((triple3 ((((triple6 triple4) -> (rule5 % int3)) triple2) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((triple3 ((((triple6 triple4) -> (rule5 % int4)) ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
((((triple6 triple4) -> (rule5 % int4)) ((triple3 ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
((((triple6 triple4) -> (rule5 % int4)) ((((triple8) -> (rule4 % int3)) triple15) -> (rule8 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
((((triple6 triple4) -> (rule5 % int3)) ((((triple6 triple4) -> (rule5 % int3)) triple2) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple6 triple4) -> (rule5 % int4)) ((((triple6 triple4) -> (rule5 % int4)) ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
The cow does not visit the cow.
False
3
inv-proof
[(((triple3 triple1) -> rule6) OR ((triple3 ((triple3 triple2) -> rule7)) -> rule6) OR ((triple3 ((triple9 triple15) -> rule8)) -> rule6) OR ((((triple6 triple4) -> rule5) triple1) -> rule6) OR ((((triple6 triple4) -> rule5) ((triple3 triple2) -> rule7)) -> rule6) OR ((((triple6 triple4) -> rule5) ((triple9 triple15) -> rule8)) -> rule6) OR ((triple3 ((triple3 ((triple8) -> rule3)) -> rule7)) -> rule6) OR ((triple3 ((((triple8) -> rule4) triple15) -> rule8)) -> rule6) OR ((triple3 ((((triple6 triple4) -> rule5) triple2) -> rule7)) -> rule6) OR ((triple3 ((((triple6 triple4) -> rule5) ((triple8) -> rule3)) -> rule7)) -> rule6) OR ((((triple6 triple4) -> rule5) ((triple3 ((triple8) -> rule3)) -> rule7)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((triple8) -> rule4) triple15) -> rule8)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((triple6 triple4) -> rule5) triple2) -> rule7)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((triple6 triple4) -> rule5) ((triple8) -> rule3)) -> rule7)) -> rule6))]
("cow" "visits" "cow" "-")
((triple3 triple1) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
((triple3 ((triple3 triple2) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
((triple3 ((triple9 triple15) -> (rule8 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
((((triple6 triple4) -> (rule5 % int2)) triple1) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple6 triple4) -> (rule5 % int3)) ((triple3 triple2) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple6 triple4) -> (rule5 % int3)) ((triple9 triple15) -> (rule8 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((triple3 ((triple3 ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
((triple3 ((((triple8) -> (rule4 % int3)) triple15) -> (rule8 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int3
((triple3 ((((triple6 triple4) -> (rule5 % int3)) triple2) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((triple3 ((((triple6 triple4) -> (rule5 % int4)) ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
((((triple6 triple4) -> (rule5 % int4)) ((triple3 ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
((((triple6 triple4) -> (rule5 % int4)) ((((triple8) -> (rule4 % int3)) triple15) -> (rule8 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
((((triple6 triple4) -> (rule5 % int3)) ((((triple6 triple4) -> (rule5 % int3)) triple2) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple6 triple4) -> (rule5 % int4)) ((((triple6 triple4) -> (rule5 % int4)) ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "eats" "cow" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The cow chases the rabbit.[(triple1 OR ((triple3 triple2) -> rule7) OR ((triple9 triple15) -> rule8) OR ((triple3 ((triple8) -> rule3)) -> rule7) OR ((((triple8) -> rule4) triple15) -> rule8) OR ((((triple6 triple4) -> rule5) triple2) -> rule7) OR ((((triple6 triple4) -> rule5) ((triple8) -> rule3)) -> rule7))] The cow eats the rabbit.[(triple2 OR ((triple8) -> rule3))] The cow is big.[(triple3 OR ((triple6 triple4) -> rule5))] The cow is nice.[(triple4)] The cow is round.[(triple5 OR ((triple3) -> rule1) OR ((((triple6 triple4) -> rule5)) -> rule1))] The cow is young.[(triple6)] The cow visits the rabbit.[(triple7 OR ((triple11 triple9) -> rule2) OR ((triple11 ((triple8) -> rule4)) -> rule2))] The rabbit chases the cow.[(triple8)] The rabbit eats the cow.[(triple9 OR ((triple8) -> rule4))] The rabbit is big.[(triple10 OR ((triple14 triple12) -> rule5))] The rabbit is green.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is round.[(triple13 OR ((triple10) -> rule1) OR ((((triple14 triple12) -> rule5)) -> rule1))] The rabbit is young.[(triple14)] The rabbit visits the cow.[(triple15)] @1: The cow visits the cow.[(((triple3 triple1) -> rule6) OR ((triple3 ((triple3 triple2) -> rule7)) -> rule6) OR ((triple3 ((triple9 triple15) -> rule8)) -> rule6) OR ((((triple6 triple4) -> rule5) triple1) -> rule6) OR ((((triple6 triple4) -> rule5) ((triple3 triple2) -> rule7)) -> rule6) OR ((((triple6 triple4) -> rule5) ((triple9 triple15) -> rule8)) -> rule6) OR ((triple3 ((triple3 ((triple8) -> rule3)) -> rule7)) -> rule6) OR ((triple3 ((((triple8) -> rule4) triple15) -> rule8)) -> rule6) OR ((triple3 ((((triple6 triple4) -> rule5) triple2) -> rule7)) -> rule6) OR ((triple3 ((((triple6 triple4) -> rule5) ((triple8) -> rule3)) -> rule7)) -> rule6) OR ((((triple6 triple4) -> rule5) ((triple3 ((triple8) -> rule3)) -> rule7)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((triple8) -> rule4) triple15) -> rule8)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((triple6 triple4) -> rule5) triple2) -> rule7)) -> rule6) OR ((((triple6 triple4) -> rule5) ((((triple6 triple4) -> rule5) ((triple8) -> rule3)) -> rule7)) -> rule6))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
((triple3 triple2) -> (rule7 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
((triple9 triple15) -> (rule8 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
((triple3 ((triple8) -> (rule3 % int2))) -> (rule7 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int2
((((triple8) -> (rule4 % int2)) triple15) -> (rule8 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int2
((((triple6 triple4) -> (rule5 % int2)) triple2) -> (rule7 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple6 triple4) -> (rule5 % int3)) ((triple8) -> (rule3 % int2))) -> (rule7 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple2
((triple8) -> (rule3 % int1))
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int1
The cow is big.
("cow" "is" "big" "+")
triple3
((triple6 triple4) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
((triple3) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
((((triple6 triple4) -> (rule5 % int2))) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow is young.
("cow" "is" "young" "+")
triple6
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple7
((triple11 triple9) -> (rule2 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
((triple11 ((triple8) -> (rule4 % int2))) -> (rule2 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int2
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple8
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple9
((triple8) -> (rule4 % int1))
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
triple10
((triple14 triple12) -> (rule5 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
((triple10) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
((((triple14 triple12) -> (rule5 % int2))) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple15
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple3 triple1) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
((triple3 ((triple3 triple2) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
((triple3 ((triple9 triple15) -> (rule8 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
((((triple6 triple4) -> (rule5 % int2)) triple1) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((triple6 triple4) -> (rule5 % int3)) ((triple3 triple2) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple6 triple4) -> (rule5 % int3)) ((triple9 triple15) -> (rule8 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((triple3 ((triple3 ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
((triple3 ((((triple8) -> (rule4 % int3)) triple15) -> (rule8 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int3
((triple3 ((((triple6 triple4) -> (rule5 % int3)) triple2) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((triple3 ((((triple6 triple4) -> (rule5 % int4)) ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
((((triple6 triple4) -> (rule5 % int4)) ((triple3 ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
((((triple6 triple4) -> (rule5 % int4)) ((((triple8) -> (rule4 % int3)) triple15) -> (rule8 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4
((((triple6 triple4) -> (rule5 % int3)) ((((triple6 triple4) -> (rule5 % int3)) triple2) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((triple6 triple4) -> (rule5 % int4)) ((((triple6 triple4) -> (rule5 % int4)) ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
int3
The cow is big.
("cow" "is" "big" "+")
int4