The cat chases the cow. The cat likes the rabbit. The cat likes the squirrel. The cat visits the squirrel. The cow chases the rabbit. The cow is cold. The cow is red. The rabbit chases the cat. The rabbit is red. The rabbit likes the cow. The rabbit visits the cow. The squirrel chases the rabbit. The squirrel is blue. The squirrel visits the cat. If someone is blue then they chase the squirrel. If someone chases the cow then the cow is round. If the rabbit is cold then the rabbit chases the cow. If someone likes the rabbit then they are round. Kind people are blue. If someone likes the cow then the cow is kind. If someone chases the squirrel then they chase the cow. If someone is blue then they like the cow. If someone chases the cow then they visit the cow.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is red.
("cow" "is" "red" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone is blue then they chase the squirrel.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone chases the cow then the cow is round.
((("someone" "chases" "cow" "+")) -> ("cow" "is" "round" "+"))
If the rabbit is cold then the rabbit chases the cow.
((("rabbit" "is" "cold" "+")) -> ("rabbit" "chases" "cow" "+"))
If someone likes the rabbit then they are round.
((("someone" "likes" "rabbit" "+")) -> ("someone" "is" "round" "+"))
Kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone likes the cow then the cow is kind.
((("someone" "likes" "cow" "+")) -> ("cow" "is" "kind" "+"))
If someone chases the squirrel then they chase the cow.
((("someone" "chases" "squirrel" "+")) -> ("someone" "chases" "cow" "+"))
If someone is blue then they like the cow.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "cow" "+"))
If someone chases the cow then they visit the cow.
((("someone" "chases" "cow" "+")) -> ("someone" "visits" "cow" "+"))
The cow is cold.
True
1
proof
[(triple6)]
("cow" "is" "cold" "+")
triple6
The cat does not chase the cow.
False
1
inv-proof
[(triple1)]
("cat" "chases" "cow" "-")
triple1
The cat visits the cow.
True
2
proof
[(((triple1) -> rule9))]
("cat" "visits" "cow" "+")
((triple1) -> (rule9 % int1))
The cat visits the cow.
("cat" "visits" "cow" "+")
int1
The cat does not visit the cow.
False
2
inv-proof
[(((triple1) -> rule9))]
("cat" "visits" "cow" "-")
((triple1) -> (rule9 % int1))
The cat visits the cow.
("cat" "visits" "cow" "+")
int1
The cow is blue.
True
3
proof
[(((((triple10) -> rule6)) -> rule5) OR ((((((triple13) -> rule8)) -> rule6)) -> rule5))]
("cow" "is" "blue" "+")
((((triple10) -> (rule6 % int2))) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((((triple13) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int3
The cow is not blue.
False
3
inv-proof
[(((((triple10) -> rule6)) -> rule5) OR ((((((triple13) -> rule8)) -> rule6)) -> rule5))]
("cow" "is" "blue" "-")
((((triple10) -> (rule6 % int2))) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((((triple13) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int3
The cow chases the squirrel.
True
4
proof
[(((((((triple10) -> rule6)) -> rule5)) -> rule1) OR ((((((((triple13) -> rule8)) -> rule6)) -> rule5)) -> rule1))]
("cow" "chases" "squirrel" "+")
((((((triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((((((triple13) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int4
The cow does not like the cow.
False
4
inv-proof
[(((((((triple10) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple13) -> rule8)) -> rule6)) -> rule5)) -> rule8))]
("cow" "likes" "cow" "-")
((((((triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((((((triple13) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int4
The cow chases the cow.
True
5
proof
[(((((((((triple10) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple13) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule7))]
("cow" "chases" "cow" "+")
((((((((triple10) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((((((triple13) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int5
The cow does not chase the cow.
False
5
inv-proof
[(((((((((triple10) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple13) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule7))]
("cow" "chases" "cow" "-")
((((((((triple10) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((((((triple13) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int5
The cow visits the cow.
True
6
proof
[(((((((((((triple10) -> rule6)) -> rule5)) -> rule1)) -> rule7)) -> rule9) OR ((((((((((((triple13) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule7)) -> rule9))]
("cow" "visits" "cow" "+")
((((((((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
((((((((((((triple13) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int6
The cow does not visit the cow.
False
6
inv-proof
[(((((((((((triple10) -> rule6)) -> rule5)) -> rule1)) -> rule7)) -> rule9) OR ((((((((((((triple13) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule7)) -> rule9))]
("cow" "visits" "cow" "-")
((((((((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
((((((((((((triple13) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int6
The rabbit is not blue.
Unknown
inv-rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "blue" "-")
The rabbit chases the cow.
Unknown
rconc
[@3: The rabbit chases the cow.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule5 <- FAIL)]]
("rabbit" "chases" "cow" "+")
The rabbit is not round.
Unknown
inv-rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "round" "-")
The squirrel is round.
Unknown
rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "round" "+")
The cat is not blue.
Unknown
inv-rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "blue" "-")
The rabbit chases the squirrel.
Unknown
rconc
[@2: The rabbit chases the squirrel.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("rabbit" "chases" "squirrel" "+")
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
The squirrel is not red.
Unknown
inv-random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The cat chases the cow.[(triple1)] The cat likes the rabbit.[(triple2)] The cat likes the squirrel.[(triple3)] The cat visits the squirrel.[(triple4)] The cow chases the rabbit.[(triple5)] The cow is cold.[(triple6)] The cow is red.[(triple7)] The rabbit chases the cat.[(triple8)] The rabbit is red.[(triple9)] The rabbit likes the cow.[(triple10)] The rabbit visits the cow.[(triple11)] The squirrel chases the rabbit.[(triple12)] The squirrel is blue.[(triple13)] The squirrel visits the cat.[(triple14)] @1: The cat is round.[(((triple2) -> rule4))] The cat visits the cow.[(((triple1) -> rule9))] The cow is kind.[(((triple10) -> rule6) OR ((((triple13) -> rule8)) -> rule6))] The cow is round.[(((triple1) -> rule2) OR ((((((triple13) -> rule1)) -> rule7)) -> rule2) OR ((((((((((triple10) -> rule6)) -> rule5)) -> rule1)) -> rule7)) -> rule2) OR ((((((((((((triple13) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule7)) -> rule2))] The squirrel chases the squirrel.[(((triple13) -> rule1))] The squirrel likes the cow.[(((triple13) -> rule8))] @2: The cow is blue.[(((((triple10) -> rule6)) -> rule5) OR ((((((triple13) -> rule8)) -> rule6)) -> rule5))] The squirrel chases the cow.[(((((triple13) -> rule1)) -> rule7))] @3: The cow chases the squirrel.[(((((((triple10) -> rule6)) -> rule5)) -> rule1) OR ((((((((triple13) -> rule8)) -> rule6)) -> rule5)) -> rule1))] The cow likes the cow.[(((((((triple10) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple13) -> rule8)) -> rule6)) -> rule5)) -> rule8))] The squirrel visits the cow.[(((((((triple13) -> rule1)) -> rule7)) -> rule9))] @4: The cow chases the cow.[(((((((((triple10) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((((((((triple13) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule7))] @5: The cow visits the cow.[(((((((((((triple10) -> rule6)) -> rule5)) -> rule1)) -> rule7)) -> rule9) OR ((((((((((((triple13) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule7)) -> rule9))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple2
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple3
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple4
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple5
The cow is cold.
("cow" "is" "cold" "+")
triple6
The cow is red.
("cow" "is" "red" "+")
triple7
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple8
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple10
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple11
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple12
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple13
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple14
The cat is round.
("cat" "is" "round" "+")
((triple2) -> (rule4 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat visits the cow.
("cat" "visits" "cow" "+")
((triple1) -> (rule9 % int1))
The cat visits the cow.
("cat" "visits" "cow" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
((triple10) -> (rule6 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((((triple13) -> (rule8 % int2))) -> (rule6 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The cow is round.
("cow" "is" "round" "+")
((triple1) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
((((((triple13) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
((((((((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
((((((((((((triple13) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int6
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple13) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
((triple13) -> (rule8 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
((((triple10) -> (rule6 % int2))) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
((((((triple13) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((((triple13) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
((((((triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((((((triple13) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int4
The cow likes the cow.
("cow" "likes" "cow" "+")
((((((triple10) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
((((((((triple13) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int4
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
((((((triple13) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
The cow chases the cow.
("cow" "chases" "cow" "+")
((((((((triple10) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
((((((((((triple13) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int2
The cow is blue.
("cow" "is" "blue" "+")
int3
The cow is kind.
("cow" "is" "kind" "+")
int4
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int5
The cow visits the cow.
("cow" "visits" "cow" "+")
((((((((((triple10) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
((((((((((((triple13) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
int2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int3
The cow is blue.
("cow" "is" "blue" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int6