The cow eats the rabbit. The mouse eats the rabbit. The mouse likes the cow. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit likes the cow. The rabbit likes the mouse. The rabbit visits the cow. The rabbit visits the mouse. If something eats the mouse then the mouse visits the cow. If something visits the rabbit then it eats the mouse. If the mouse visits the cow then the cow visits the rabbit. If something likes the mouse then it visits the rabbit. If the rabbit is red then the rabbit is young. If the rabbit visits the cow then the rabbit likes the mouse. If the rabbit is green and the rabbit visits the mouse then the rabbit visits the cow. If something eats the mouse then the mouse likes the cow.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If something eats the mouse then the mouse visits the cow.
((("something" "eats" "mouse" "+")) -> ("mouse" "visits" "cow" "+"))
If something visits the rabbit then it eats the mouse.
((("something" "visits" "rabbit" "+")) -> ("something" "eats" "mouse" "+"))
If the mouse visits the cow then the cow visits the rabbit.
((("mouse" "visits" "cow" "+")) -> ("cow" "visits" "rabbit" "+"))
If something likes the mouse then it visits the rabbit.
((("something" "likes" "mouse" "+")) -> ("something" "visits" "rabbit" "+"))
If the rabbit is red then the rabbit is young.
((("rabbit" "is" "red" "+")) -> ("rabbit" "is" "young" "+"))
If the rabbit visits the cow then the rabbit likes the mouse.
((("rabbit" "visits" "cow" "+")) -> ("rabbit" "likes" "mouse" "+"))
If the rabbit is green and the rabbit visits the mouse then the rabbit visits the cow.
((("rabbit" "is" "green" "+") ("rabbit" "visits" "mouse" "+")) -> ("rabbit" "visits" "cow" "+"))
If something eats the mouse then the mouse likes the cow.
((("something" "eats" "mouse" "+")) -> ("mouse" "likes" "cow" "+"))
The rabbit is green.
True
1
proof
[(triple4)]
("rabbit" "is" "green" "+")
triple4
The rabbit is not nice.
False
1
inv-proof
[(triple5)]
("rabbit" "is" "nice" "-")
triple5
The rabbit visits the rabbit.
True
2
proof
[(((triple8) -> rule4) OR ((((triple9) -> rule6)) -> rule4) OR ((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4))]
("rabbit" "visits" "rabbit" "+")
((triple8) -> (rule4 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int2
((((((triple4 triple10) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int2
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int3
The rabbit is not young.
False
2
inv-proof
[(((triple6) -> rule5))]
("rabbit" "is" "young" "-")
((triple6) -> (rule5 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit eats the mouse.
True
3
proof
[(((((triple8) -> rule4)) -> rule2) OR ((((((triple9) -> rule6)) -> rule4)) -> rule2) OR ((((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4)) -> rule2))]
("rabbit" "eats" "mouse" "+")
((((triple8) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
((((((triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
((((((((triple4 triple10) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int4
The rabbit does not eat the mouse.
False
3
inv-proof
[(((((triple8) -> rule4)) -> rule2) OR ((((((triple9) -> rule6)) -> rule4)) -> rule2) OR ((((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4)) -> rule2))]
("rabbit" "eats" "mouse" "-")
((((triple8) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
((((((triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
((((((((triple4 triple10) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int4
The mouse visits the cow.
True
4
proof
[(((((((triple8) -> rule4)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule2)) -> rule1) OR ((((((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4)) -> rule2)) -> rule1))]
("mouse" "visits" "cow" "+")
((((((triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
((((((((triple9) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int4
((((((((((triple4 triple10) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int4
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int5
The mouse does not visit the cow.
False
4
inv-proof
[(((((((triple8) -> rule4)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule2)) -> rule1) OR ((((((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4)) -> rule2)) -> rule1))]
("mouse" "visits" "cow" "-")
((((((triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
((((((((triple9) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int4
((((((((((triple4 triple10) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int4
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int5
The mouse does not eat the mouse.
Unknown
inv-rconc
[@2: The mouse eats the mouse.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("mouse" "eats" "mouse" "-")
The mouse visits the rabbit.
Unknown
rconc
[@1: The mouse visits the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "visits" "rabbit" "+")
The rabbit does not eat the cow.
Unknown
inv-random
[@0: The rabbit eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cow" "-")
The mouse is round.
Unknown
random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
The mouse does not eat the cow.
Unknown
inv-random
[@0: The mouse eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "cow" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The cow eats the rabbit.[(triple1)] The mouse eats the rabbit.[(triple2)] The mouse likes the cow.[(triple3 OR ((((((triple8) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4)) -> rule2)) -> rule8) OR ((((((((((((triple8) -> rule4)) -> rule2)) -> rule1)) -> rule3)) -> rule2)) -> rule8) OR ((((((((((((((triple9) -> rule6)) -> rule4)) -> rule2)) -> rule1)) -> rule3)) -> rule2)) -> rule8) OR ((((((((((((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4)) -> rule2)) -> rule1)) -> rule3)) -> rule2)) -> rule8))] The rabbit is green.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is red.[(triple6)] The rabbit likes the cow.[(triple7)] The rabbit likes the mouse.[(triple8 OR ((triple9) -> rule6) OR ((((triple4 triple10) -> rule7)) -> rule6))] The rabbit visits the cow.[(triple9 OR ((triple4 triple10) -> rule7))] The rabbit visits the mouse.[(triple10)] @1: The rabbit is young.[(((triple6) -> rule5))] The rabbit visits the rabbit.[(((triple8) -> rule4) OR ((((triple9) -> rule6)) -> rule4) OR ((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4))] @2: The rabbit eats the mouse.[(((((triple8) -> rule4)) -> rule2) OR ((((((triple9) -> rule6)) -> rule4)) -> rule2) OR ((((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4)) -> rule2))] @3: The mouse visits the cow.[(((((((triple8) -> rule4)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule6)) -> rule4)) -> rule2)) -> rule1) OR ((((((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4)) -> rule2)) -> rule1))] @4: The cow visits the rabbit.[(((((((((triple8) -> rule4)) -> rule2)) -> rule1)) -> rule3) OR ((((((((((triple9) -> rule6)) -> rule4)) -> rule2)) -> rule1)) -> rule3) OR ((((((((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4)) -> rule2)) -> rule1)) -> rule3))] @5: The cow eats the mouse.[(((((((((((triple8) -> rule4)) -> rule2)) -> rule1)) -> rule3)) -> rule2) OR ((((((((((((triple9) -> rule6)) -> rule4)) -> rule2)) -> rule1)) -> rule3)) -> rule2) OR ((((((((((((((triple4 triple10) -> rule7)) -> rule6)) -> rule4)) -> rule2)) -> rule1)) -> rule3)) -> rule2))]
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple2
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple3
((((((triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
((((((((triple9) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int4
((((((((((triple4 triple10) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int4
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int5
((((((((((((triple8) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int2
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int3
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
((((((((((((((triple9) -> (rule6 % int7))) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int2
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int3
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int7
((((((((((((((((triple4 triple10) -> (rule7 % int8))) -> (rule6 % int7))) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int2
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int3
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int4
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int5
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int6
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int7
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int8
The rabbit is green.
("rabbit" "is" "green" "+")
triple4
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple5
The rabbit is red.
("rabbit" "is" "red" "+")
triple6
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple7
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple8
((triple9) -> (rule6 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
((((triple4 triple10) -> (rule7 % int2))) -> (rule6 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int2
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple9
((triple4 triple10) -> (rule7 % int1))
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int1
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple10
The rabbit is young.
("rabbit" "is" "young" "+")
((triple6) -> (rule5 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((triple8) -> (rule4 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int2
((((((triple4 triple10) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int2
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int3
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
((((triple8) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
((((((triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
((((((((triple4 triple10) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int4
The mouse visits the cow.
("mouse" "visits" "cow" "+")
((((((triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
((((((((triple9) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int4
((((((((((triple4 triple10) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int3
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int4
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
((((((((triple8) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int2
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
((((((((((triple9) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int2
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int5
((((((((((((triple4 triple10) -> (rule7 % int6))) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int2
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int4
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int5
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int6
The cow eats the mouse.
("cow" "eats" "mouse" "+")
((((((((((triple8) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int2
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int3
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int4
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int5
((((((((((((triple9) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int2
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int3
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int4
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int5
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int6
((((((((((((((triple4 triple10) -> (rule7 % int7))) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cow eats the mouse.
("cow" "eats" "mouse" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int2
The mouse visits the cow.
("mouse" "visits" "cow" "+")
int3
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int4
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int5
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int6
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
int7