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