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