The bear is round. The cat chases the mouse. The cat is round. The cat needs the squirrel. The cat visits the mouse. The cat visits the squirrel. The mouse needs the squirrel. The mouse visits the cat. The squirrel chases the cat. The squirrel needs the bear. The squirrel visits the mouse. If something needs the cat then it is round. If something visits the cat and the cat visits the mouse then the mouse chases the squirrel. If something needs the bear then the bear is rough. If something visits the squirrel and the squirrel is rough then the squirrel visits the mouse. If something is rough then it visits the squirrel. If something visits the squirrel then it needs the bear. If something chases the squirrel then it needs the cat. If something visits the squirrel then it is cold. If something needs the bear then it chases the squirrel.
The bear is round.
("bear" "is" "round" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If something needs the cat then it is round.
((("something" "needs" "cat" "+")) -> ("something" "is" "round" "+"))
If something visits the cat and the cat visits the mouse then the mouse chases the squirrel.
((("something" "visits" "cat" "+") ("cat" "visits" "mouse" "+")) -> ("mouse" "chases" "squirrel" "+"))
If something needs the bear then the bear is rough.
((("something" "needs" "bear" "+")) -> ("bear" "is" "rough" "+"))
If something visits the squirrel and the squirrel is rough then the squirrel visits the mouse.
((("something" "visits" "squirrel" "+") ("squirrel" "is" "rough" "+")) -> ("squirrel" "visits" "mouse" "+"))
If something is rough then it visits the squirrel.
((("something" "is" "rough" "+")) -> ("something" "visits" "squirrel" "+"))
If something visits the squirrel then it needs the bear.
((("something" "visits" "squirrel" "+")) -> ("something" "needs" "bear" "+"))
If something chases the squirrel then it needs the cat.
((("something" "chases" "squirrel" "+")) -> ("something" "needs" "cat" "+"))
If something visits the squirrel then it is cold.
((("something" "visits" "squirrel" "+")) -> ("something" "is" "cold" "+"))
If something needs the bear then it chases the squirrel.
((("something" "needs" "bear" "+")) -> ("something" "chases" "squirrel" "+"))
The bear is round.
True
1
proof
[(triple1 OR ((((((((((((triple10) -> rule3)) -> rule5)) -> rule6)) -> rule9)) -> rule7)) -> rule1) OR ((((((((((((((triple6) -> rule6)) -> rule3)) -> rule5)) -> rule6)) -> rule9)) -> rule7)) -> rule1))]
("bear" "is" "round" "+")
triple1
((((((((((((triple10) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear needs the cat.
("bear" "needs" "cat" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The bear needs the bear.
("bear" "needs" "bear" "+")
int4
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int5
The bear is rough.
("bear" "is" "rough" "+")
int6
((((((((((((((triple6) -> (rule6 % int7))) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear needs the cat.
("bear" "needs" "cat" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The bear needs the bear.
("bear" "needs" "bear" "+")
int4
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int5
The bear is rough.
("bear" "is" "rough" "+")
int6
The cat needs the bear.
("cat" "needs" "bear" "+")
int7
The squirrel does not visit the mouse.
False
1
inv-proof
[(triple11)]
("squirrel" "visits" "mouse" "-")
triple11
The cat is cold.
True
2
proof
[(((triple6) -> rule8))]
("cat" "is" "cold" "+")
((triple6) -> (rule8 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The mouse does not chase the squirrel.
False
3
inv-proof
[(((triple8 triple5) -> rule2))]
("mouse" "chases" "squirrel" "-")
((triple8 triple5) -> (rule2 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The cat chases the squirrel.
True
3
proof
[(((((triple6) -> rule6)) -> rule9))]
("cat" "chases" "squirrel" "+")
((((triple6) -> (rule6 % int2))) -> (rule9 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The mouse does not need the cat.
False
4
inv-proof
[(((((triple8 triple5) -> rule2)) -> rule7))]
("mouse" "needs" "cat" "-")
((((triple8 triple5) -> (rule2 % int2))) -> (rule7 % int1))
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int1
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int2
The cat needs the cat.
True
4
proof
[(((((((triple6) -> rule6)) -> rule9)) -> rule7))]
("cat" "needs" "cat" "+")
((((((triple6) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The mouse is not round.
False
5
inv-proof
[(((((((triple8 triple5) -> rule2)) -> rule7)) -> rule1))]
("mouse" "is" "round" "-")
((((((triple8 triple5) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int2
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int3
The bear chases the squirrel.
True
5
proof
[(((((((((triple10) -> rule3)) -> rule5)) -> rule6)) -> rule9) OR ((((((((((triple6) -> rule6)) -> rule3)) -> rule5)) -> rule6)) -> rule9))]
("bear" "chases" "squirrel" "+")
((((((((triple10) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
((((((((((triple6) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The cat needs the bear.
("cat" "needs" "bear" "+")
int5
The bear does not chase the squirrel.
False
5
inv-proof
[(((((((((triple10) -> rule3)) -> rule5)) -> rule6)) -> rule9) OR ((((((((((triple6) -> rule6)) -> rule3)) -> rule5)) -> rule6)) -> rule9))]
("bear" "chases" "squirrel" "-")
((((((((triple10) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
((((((((((triple6) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The cat needs the bear.
("cat" "needs" "bear" "+")
int5
The bear needs the cat.
True
6
proof
[(((((((((((triple10) -> rule3)) -> rule5)) -> rule6)) -> rule9)) -> rule7) OR ((((((((((((triple6) -> rule6)) -> rule3)) -> rule5)) -> rule6)) -> rule9)) -> rule7))]
("bear" "needs" "cat" "+")
((((((((((triple10) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int4
The bear is rough.
("bear" "is" "rough" "+")
int5
((((((((((((triple6) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int4
The bear is rough.
("bear" "is" "rough" "+")
int5
The cat needs the bear.
("cat" "needs" "bear" "+")
int6
The bear does not need the cat.
False
6
inv-proof
[(((((((((((triple10) -> rule3)) -> rule5)) -> rule6)) -> rule9)) -> rule7) OR ((((((((((((triple6) -> rule6)) -> rule3)) -> rule5)) -> rule6)) -> rule9)) -> rule7))]
("bear" "needs" "cat" "-")
((((((((((triple10) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int4
The bear is rough.
("bear" "is" "rough" "+")
int5
((((((((((((triple6) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int4
The bear is rough.
("bear" "is" "rough" "+")
int5
The cat needs the bear.
("cat" "needs" "bear" "+")
int6
The mouse does not visit the squirrel.
Unknown
inv-rconc
[@1: The mouse visits the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "visits" "squirrel" "-")
The mouse is cold.
Unknown
rconc
[@2: The mouse is cold.[CWA. Example of deepest failure = (rule8 <- rule5 <- FAIL)]]
("mouse" "is" "cold" "+")
The squirrel does not visit the squirrel.
Unknown
inv-rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel is cold.
Unknown
rconc
[@2: The squirrel is cold.[CWA. Example of deepest failure = (rule8 <- rule5 <- FAIL)]]
("squirrel" "is" "cold" "+")
The mouse does not need the bear.
Unknown
inv-rconc
[@2: The mouse needs the bear.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("mouse" "needs" "bear" "-")
The squirrel visits the cat.
Unknown
random
[@0: The squirrel visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "cat" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel chases the mouse.
Unknown
random
[@0: The squirrel chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "mouse" "+")
The bear does not need the mouse.
Unknown
inv-random
[@0: The bear needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "mouse" "-")
The bear needs the squirrel.
Unknown
random
[@0: The bear needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "squirrel" "+")
@0: The bear is round.[(triple1 OR ((((((((((((triple10) -> rule3)) -> rule5)) -> rule6)) -> rule9)) -> rule7)) -> rule1) OR ((((((((((((((triple6) -> rule6)) -> rule3)) -> rule5)) -> rule6)) -> rule9)) -> rule7)) -> rule1))] The cat chases the mouse.[(triple2)] The cat is round.[(triple3 OR ((((((((triple6) -> rule6)) -> rule9)) -> rule7)) -> rule1))] The cat needs the squirrel.[(triple4)] The cat visits the mouse.[(triple5)] The cat visits the squirrel.[(triple6)] The mouse needs the squirrel.[(triple7)] The mouse visits the cat.[(triple8)] The squirrel chases the cat.[(triple9)] The squirrel needs the bear.[(triple10)] The squirrel visits the mouse.[(triple11)] @1: The bear is rough.[(((triple10) -> rule3) OR ((((triple6) -> rule6)) -> rule3))] The cat is cold.[(((triple6) -> rule8))] The cat needs the bear.[(((triple6) -> rule6))] The mouse chases the squirrel.[(((triple8 triple5) -> rule2))] The squirrel chases the squirrel.[(((triple10) -> rule9))] @2: The bear visits the squirrel.[(((((triple10) -> rule3)) -> rule5) OR ((((((triple6) -> rule6)) -> rule3)) -> rule5))] The cat chases the squirrel.[(((((triple6) -> rule6)) -> rule9))] The mouse needs the cat.[(((((triple8 triple5) -> rule2)) -> rule7))] The squirrel needs the cat.[(((((triple10) -> rule9)) -> rule7))] @3: The bear is cold.[(((((((triple10) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple6) -> rule6)) -> rule3)) -> rule5)) -> rule8))] The bear needs the bear.[(((((((triple10) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple6) -> rule6)) -> rule3)) -> rule5)) -> rule6))] The cat needs the cat.[(((((((triple6) -> rule6)) -> rule9)) -> rule7))] The mouse is round.[(((((((triple8 triple5) -> rule2)) -> rule7)) -> rule1))] The squirrel is round.[(((((((triple10) -> rule9)) -> rule7)) -> rule1))] @4: The bear chases the squirrel.[(((((((((triple10) -> rule3)) -> rule5)) -> rule6)) -> rule9) OR ((((((((((triple6) -> rule6)) -> rule3)) -> rule5)) -> rule6)) -> rule9))] @5: The bear needs the cat.[(((((((((((triple10) -> rule3)) -> rule5)) -> rule6)) -> rule9)) -> rule7) OR ((((((((((((triple6) -> rule6)) -> rule3)) -> rule5)) -> rule6)) -> rule9)) -> rule7))]
The bear is round.
("bear" "is" "round" "+")
triple1
((((((((((((triple10) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear needs the cat.
("bear" "needs" "cat" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The bear needs the bear.
("bear" "needs" "bear" "+")
int4
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int5
The bear is rough.
("bear" "is" "rough" "+")
int6
((((((((((((((triple6) -> (rule6 % int7))) -> (rule3 % int6))) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear needs the cat.
("bear" "needs" "cat" "+")
int2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int3
The bear needs the bear.
("bear" "needs" "bear" "+")
int4
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int5
The bear is rough.
("bear" "is" "rough" "+")
int6
The cat needs the bear.
("cat" "needs" "bear" "+")
int7
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
((((((((triple6) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple4
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple5
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple6
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple7
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple8
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple9
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple10
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple11
The bear is rough.
("bear" "is" "rough" "+")
((triple10) -> (rule3 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
((((triple6) -> (rule6 % int2))) -> (rule3 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
((triple6) -> (rule8 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
((triple6) -> (rule6 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
((triple8 triple5) -> (rule2 % int1))
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple10) -> (rule9 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
((((triple10) -> (rule3 % int2))) -> (rule5 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
((((((triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
((((triple6) -> (rule6 % int2))) -> (rule9 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
int2
The mouse needs the cat.
("mouse" "needs" "cat" "+")
((((triple8 triple5) -> (rule2 % int2))) -> (rule7 % int1))
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int1
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int2
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
((((triple10) -> (rule9 % int2))) -> (rule7 % int1))
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
((((((triple10) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
((((((((triple6) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
The bear needs the bear.
("bear" "needs" "bear" "+")
((((((triple10) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
((((((((triple6) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The cat needs the bear.
("cat" "needs" "bear" "+")
int4
The cat needs the cat.
("cat" "needs" "cat" "+")
((((((triple6) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int2
The cat needs the bear.
("cat" "needs" "bear" "+")
int3
The mouse is round.
("mouse" "is" "round" "+")
((((((triple8 triple5) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int2
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
int3
The squirrel is round.
("squirrel" "is" "round" "+")
((((((triple10) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
((((((((triple10) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
((((((((((triple6) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int3
The bear is rough.
("bear" "is" "rough" "+")
int4
The cat needs the bear.
("cat" "needs" "bear" "+")
int5
The bear needs the cat.
("bear" "needs" "cat" "+")
((((((((((triple10) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int4
The bear is rough.
("bear" "is" "rough" "+")
int5
((((((((((((triple6) -> (rule6 % int6))) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int4
The bear is rough.
("bear" "is" "rough" "+")
int5
The cat needs the bear.
("cat" "needs" "bear" "+")
int6