Bob is kind. Dave is kind. Dave is rough. Fiona is big. Fiona is kind. Gary is red. Gary is round. If someone is green and red then they are kind. If someone is red and big then they are quiet. If someone is red and rough then they are big. Kind, green people are rough. Kind people are green. All green, round people are red. If Gary is round then Gary is green. All rough people are round.
Bob is kind.
("Bob" "is" "kind" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is green and red then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and big then they are quiet.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
If someone is red and rough then they are big.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Kind, green people are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
All green, round people are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If Gary is round then Gary is green.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "green" "+"))
All rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Gary is red.
True
1
proof
[(triple6 OR ((((triple7) -> rule7) triple7) -> rule6))]
("Gary" "is" "red" "+")
triple6
((((triple7) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Dave is not kind.
False
1
inv-proof
[(triple2)]
("Dave" "is" "kind" "-")
triple2
Dave is round.
True
2
proof
[(((triple3) -> rule8) OR ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8))]
("Dave" "is" "round" "+")
((triple3) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Fiona is not green.
False
2
inv-proof
[(((triple5) -> rule5))]
("Fiona" "is" "green" "-")
((triple5) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
True
4
proof
[(((triple5 ((triple5) -> rule5)) -> rule4))]
("Fiona" "is" "rough" "+")
((triple5 ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Bob is not rough.
False
4
inv-proof
[(((triple1 ((triple1) -> rule5)) -> rule4))]
("Bob" "is" "rough" "-")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Gary is rough.
True
7
proof
[(((((((triple7) -> rule7) triple6) -> rule1) ((triple7) -> rule7)) -> rule4) OR ((((((triple7) -> rule7) ((((triple7) -> rule7) triple7) -> rule6)) -> rule1) ((triple7) -> rule7)) -> rule4))]
("Gary" "is" "rough" "+")
((((((triple7) -> (rule7 % int3)) triple6) -> (rule1 % int2)) ((triple7) -> (rule7 % int3))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple7) -> (rule7 % int4)) ((((triple7) -> (rule7 % int4)) triple7) -> (rule6 % int3))) -> (rule1 % int2)) ((triple7) -> (rule7 % int4))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Dave is not big.
False
7
inv-proof
[(((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) triple3) -> rule3) OR ((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) ((triple2 ((triple2) -> rule5)) -> rule4)) -> rule3) OR ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) triple3) -> rule3) OR ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((triple2 ((triple2) -> rule5)) -> rule4)) -> rule3))]
("Dave" "is" "big" "-")
((((((triple2) -> (rule5 % int4)) ((triple3) -> (rule8 % int3))) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple2) -> (rule5 % int5)) ((triple3) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2 ((triple2) -> (rule5 % int5))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple2) -> (rule5 % int5)) ((((triple2 ((triple2) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple2) -> (rule5 % int5)) ((((triple2 ((triple2) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((triple2 ((triple2) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is quiet.
True
13
proof
[(((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) ((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) triple3) -> rule3)) -> rule2) OR ((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) ((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) ((triple2 ((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) triple3) -> rule3)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) ((triple2 ((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) triple3) -> rule3)) -> rule2) OR ((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((triple2 ((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) triple3) -> rule3)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((triple2 ((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule2))]
("Dave" "is" "quiet" "+")
((((((triple2) -> (rule5 % int5)) ((triple3) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule5 % int5)) ((triple3) -> (rule8 % int4))) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple2) -> (rule5 % int6)) ((triple3) -> (rule8 % int5))) -> (rule6 % int4)) ((((((triple2) -> (rule5 % int6)) ((triple3) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((triple2) -> (rule5 % int6)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule5 % int6)) ((triple3) -> (rule8 % int4))) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((triple2) -> (rule5 % int6)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule5 % int6)) ((triple3) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((triple2) -> (rule5 % int6)) ((triple3) -> (rule8 % int5))) -> (rule6 % int4)) ((((((triple2) -> (rule5 % int6)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int3))) -> (rule8 % int5))) -> (rule6 % int4)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((triple2) -> (rule5 % int6)) ((triple3) -> (rule8 % int5))) -> (rule6 % int4)) ((((((triple2) -> (rule5 % int6)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int3))) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((triple2) -> (rule5 % int6)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule5 % int6)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((triple2) -> (rule5 % int6)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule5 % int6)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
Gary is not big.
False
9
inv-proof
[(((triple6 ((((((triple7) -> rule7) triple6) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3) OR ((((((triple7) -> rule7) triple7) -> rule6) ((((((triple7) -> rule7) triple6) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3) OR ((triple6 ((((((triple7) -> rule7) ((((triple7) -> rule7) triple7) -> rule6)) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3) OR ((((((triple7) -> rule7) triple7) -> rule6) ((((((triple7) -> rule7) ((((triple7) -> rule7) triple7) -> rule6)) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3))]
("Gary" "is" "big" "-")
((triple6 ((((((triple7) -> (rule7 % int4)) triple6) -> (rule1 % int3)) ((triple7) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple7) -> (rule7 % int5)) triple7) -> (rule6 % int4)) ((((((triple7) -> (rule7 % int5)) triple6) -> (rule1 % int3)) ((triple7) -> (rule7 % int5))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((triple6 ((((((triple7) -> (rule7 % int5)) ((((triple7) -> (rule7 % int5)) triple7) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7) -> (rule7 % int5))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple7) -> (rule7 % int5)) triple7) -> (rule6 % int4)) ((((((triple7) -> (rule7 % int5)) ((((triple7) -> (rule7 % int5)) triple7) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7) -> (rule7 % int5))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is quiet.
True
11
proof
[(((triple6 ((triple6 ((((((triple7) -> rule7) triple6) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((triple6 ((((((triple7) -> rule7) triple7) -> rule6) ((((((triple7) -> rule7) triple6) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple7) -> rule7) triple7) -> rule6) ((triple6 ((((((triple7) -> rule7) triple6) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple7) -> rule7) triple7) -> rule6) ((((((triple7) -> rule7) triple7) -> rule6) ((((((triple7) -> rule7) triple6) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((triple6 ((triple6 ((((((triple7) -> rule7) ((((triple7) -> rule7) triple7) -> rule6)) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((triple6 ((((((triple7) -> rule7) triple7) -> rule6) ((((((triple7) -> rule7) ((((triple7) -> rule7) triple7) -> rule6)) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple7) -> rule7) triple7) -> rule6) ((triple6 ((((((triple7) -> rule7) ((((triple7) -> rule7) triple7) -> rule6)) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple7) -> rule7) triple7) -> rule6) ((((((triple7) -> rule7) triple7) -> rule6) ((((((triple7) -> rule7) ((((triple7) -> rule7) triple7) -> rule6)) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3)) -> rule2))]
("Gary" "is" "quiet" "+")
((triple6 ((triple6 ((((((triple7) -> (rule7 % int5)) triple6) -> (rule1 % int4)) ((triple7) -> (rule7 % int5))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((triple6 ((((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5)) ((((((triple7) -> (rule7 % int6)) triple6) -> (rule1 % int4)) ((triple7) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5)) ((triple6 ((((((triple7) -> (rule7 % int6)) triple6) -> (rule1 % int4)) ((triple7) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5)) ((((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5)) ((((((triple7) -> (rule7 % int6)) triple6) -> (rule1 % int4)) ((triple7) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((triple6 ((triple6 ((((((triple7) -> (rule7 % int6)) ((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((triple6 ((((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5)) ((((((triple7) -> (rule7 % int6)) ((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5)) ((triple6 ((((((triple7) -> (rule7 % int6)) ((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5)) ((((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5)) ((((((triple7) -> (rule7 % int6)) ((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
Bob is not big.
False
13
inv-proof
[(((((((triple1) -> rule5) ((((triple1 ((triple1) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((triple1 ((triple1) -> rule5)) -> rule4)) -> rule3))]
("Bob" "is" "big" "-")
((((((triple1) -> (rule5 % int5)) ((((triple1 ((triple1) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((triple1 ((triple1) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
@0: Bob is kind.[(triple1)] Dave is kind.[(triple2)] Dave is rough.[(triple3 OR ((triple2 ((triple2) -> rule5)) -> rule4))] Fiona is big.[(triple4 OR ((((((triple5) -> rule5) ((((triple5 ((triple5) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((triple5 ((triple5) -> rule5)) -> rule4)) -> rule3))] Fiona is kind.[(triple5)] Gary is red.[(triple6 OR ((((triple7) -> rule7) triple7) -> rule6))] Gary is round.[(triple7)] @1: Bob is green.[(((triple1) -> rule5))] Dave is green.[(((triple2) -> rule5))] Dave is round.[(((triple3) -> rule8) OR ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8))] Fiona is green.[(((triple5) -> rule5))] Gary is green.[(((triple7) -> rule7))] @2: Bob is rough.[(((triple1 ((triple1) -> rule5)) -> rule4))] Dave is red.[(((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) OR ((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6))] Fiona is rough.[(((triple5 ((triple5) -> rule5)) -> rule4))] Gary is kind.[(((((triple7) -> rule7) triple6) -> rule1) OR ((((triple7) -> rule7) ((((triple7) -> rule7) triple7) -> rule6)) -> rule1))] @3: Bob is round.[(((((triple1 ((triple1) -> rule5)) -> rule4)) -> rule8))] Dave is big.[(((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) triple3) -> rule3) OR ((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) ((triple2 ((triple2) -> rule5)) -> rule4)) -> rule3) OR ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) triple3) -> rule3) OR ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((triple2 ((triple2) -> rule5)) -> rule4)) -> rule3))] Fiona is round.[(((((triple5 ((triple5) -> rule5)) -> rule4)) -> rule8))] Gary is rough.[(((((((triple7) -> rule7) triple6) -> rule1) ((triple7) -> rule7)) -> rule4) OR ((((((triple7) -> rule7) ((((triple7) -> rule7) triple7) -> rule6)) -> rule1) ((triple7) -> rule7)) -> rule4))] @4: Bob is red.[(((((triple1) -> rule5) ((((triple1 ((triple1) -> rule5)) -> rule4)) -> rule8)) -> rule6))] Dave is quiet.[(((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) ((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) triple3) -> rule3)) -> rule2) OR ((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) ((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) ((triple2 ((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) triple3) -> rule3)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) ((triple2 ((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) triple3) -> rule3)) -> rule2) OR ((((((triple2) -> rule5) ((triple3) -> rule8)) -> rule6) ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((triple2 ((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) triple3) -> rule3)) -> rule2) OR ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((((((triple2) -> rule5) ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((triple2 ((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule2))] Fiona is red.[(((((triple5) -> rule5) ((((triple5 ((triple5) -> rule5)) -> rule4)) -> rule8)) -> rule6))] Gary is big.[(((triple6 ((((((triple7) -> rule7) triple6) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3) OR ((((((triple7) -> rule7) triple7) -> rule6) ((((((triple7) -> rule7) triple6) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3) OR ((triple6 ((((((triple7) -> rule7) ((((triple7) -> rule7) triple7) -> rule6)) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3) OR ((((((triple7) -> rule7) triple7) -> rule6) ((((((triple7) -> rule7) ((((triple7) -> rule7) triple7) -> rule6)) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3))] @5: Bob is big.[(((((((triple1) -> rule5) ((((triple1 ((triple1) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((triple1 ((triple1) -> rule5)) -> rule4)) -> rule3))] Fiona is quiet.[(((((((triple5) -> rule5) ((((triple5 ((triple5) -> rule5)) -> rule4)) -> rule8)) -> rule6) triple4) -> rule2) OR ((((((triple5) -> rule5) ((((triple5 ((triple5) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((((((triple5) -> rule5) ((((triple5 ((triple5) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((triple5 ((triple5) -> rule5)) -> rule4)) -> rule3)) -> rule2))] Gary is quiet.[(((triple6 ((triple6 ((((((triple7) -> rule7) triple6) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((triple6 ((((((triple7) -> rule7) triple7) -> rule6) ((((((triple7) -> rule7) triple6) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple7) -> rule7) triple7) -> rule6) ((triple6 ((((((triple7) -> rule7) triple6) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple7) -> rule7) triple7) -> rule6) ((((((triple7) -> rule7) triple7) -> rule6) ((((((triple7) -> rule7) triple6) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((triple6 ((triple6 ((((((triple7) -> rule7) ((((triple7) -> rule7) triple7) -> rule6)) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((triple6 ((((((triple7) -> rule7) triple7) -> rule6) ((((((triple7) -> rule7) ((((triple7) -> rule7) triple7) -> rule6)) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple7) -> rule7) triple7) -> rule6) ((triple6 ((((((triple7) -> rule7) ((((triple7) -> rule7) triple7) -> rule6)) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple7) -> rule7) triple7) -> rule6) ((((((triple7) -> rule7) triple7) -> rule6) ((((((triple7) -> rule7) ((((triple7) -> rule7) triple7) -> rule6)) -> rule1) ((triple7) -> rule7)) -> rule4)) -> rule3)) -> rule2))] @6: Bob is quiet.[(((((((triple1) -> rule5) ((((triple1 ((triple1) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((((((triple1) -> rule5) ((((triple1 ((triple1) -> rule5)) -> rule4)) -> rule8)) -> rule6) ((triple1 ((triple1) -> rule5)) -> rule4)) -> rule3)) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
((triple2 ((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
triple4
((((((triple5) -> (rule5 % int5)) ((((triple5 ((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((triple5 ((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
((((triple7) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple2) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple3) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple2 ((triple2) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
((triple5) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple7) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((triple2) -> (rule5 % int3)) ((triple3) -> (rule8 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple2) -> (rule5 % int4)) ((((triple2 ((triple2) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple5 ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple7) -> (rule7 % int2)) triple6) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple7) -> (rule7 % int3)) ((((triple7) -> (rule7 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((((triple1 ((triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
((((((triple2) -> (rule5 % int4)) ((triple3) -> (rule8 % int3))) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple2) -> (rule5 % int5)) ((triple3) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2 ((triple2) -> (rule5 % int5))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple2) -> (rule5 % int5)) ((((triple2 ((triple2) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple2) -> (rule5 % int5)) ((((triple2 ((triple2) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((triple2 ((triple2) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
((((triple5 ((triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple7) -> (rule7 % int3)) triple6) -> (rule1 % int2)) ((triple7) -> (rule7 % int3))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple7) -> (rule7 % int4)) ((((triple7) -> (rule7 % int4)) triple7) -> (rule6 % int3))) -> (rule1 % int2)) ((triple7) -> (rule7 % int4))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
((((triple1) -> (rule5 % int4)) ((((triple1 ((triple1) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
((((((triple2) -> (rule5 % int5)) ((triple3) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule5 % int5)) ((triple3) -> (rule8 % int4))) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((triple2) -> (rule5 % int6)) ((triple3) -> (rule8 % int5))) -> (rule6 % int4)) ((((((triple2) -> (rule5 % int6)) ((triple3) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((triple2) -> (rule5 % int6)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule5 % int6)) ((triple3) -> (rule8 % int4))) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((triple2) -> (rule5 % int6)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule5 % int6)) ((triple3) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((triple2) -> (rule5 % int6)) ((triple3) -> (rule8 % int5))) -> (rule6 % int4)) ((((((triple2) -> (rule5 % int6)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int3))) -> (rule8 % int5))) -> (rule6 % int4)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((triple2) -> (rule5 % int6)) ((triple3) -> (rule8 % int5))) -> (rule6 % int4)) ((((((triple2) -> (rule5 % int6)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int3))) -> (rule8 % int5))) -> (rule6 % int4)) ((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((triple2) -> (rule5 % int6)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule5 % int6)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((((triple2) -> (rule5 % int6)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple2) -> (rule5 % int6)) ((((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2 ((triple2) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
Fiona is red.
("Fiona" "is" "red" "+")
((((triple5) -> (rule5 % int4)) ((((triple5 ((triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
((triple6 ((((((triple7) -> (rule7 % int4)) triple6) -> (rule1 % int3)) ((triple7) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple7) -> (rule7 % int5)) triple7) -> (rule6 % int4)) ((((((triple7) -> (rule7 % int5)) triple6) -> (rule1 % int3)) ((triple7) -> (rule7 % int5))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((triple6 ((((((triple7) -> (rule7 % int5)) ((((triple7) -> (rule7 % int5)) triple7) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7) -> (rule7 % int5))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((triple7) -> (rule7 % int5)) triple7) -> (rule6 % int4)) ((((((triple7) -> (rule7 % int5)) ((((triple7) -> (rule7 % int5)) triple7) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7) -> (rule7 % int5))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
((((((triple1) -> (rule5 % int5)) ((((triple1 ((triple1) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((triple1 ((triple1) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((triple5) -> (rule5 % int5)) ((((triple5 ((triple5) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple4) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((triple5) -> (rule5 % int6)) ((((triple5 ((triple5) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple5) -> (rule5 % int6)) ((((triple5 ((triple5) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((triple5 ((triple5) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple6 ((triple6 ((((((triple7) -> (rule7 % int5)) triple6) -> (rule1 % int4)) ((triple7) -> (rule7 % int5))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((triple6 ((((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5)) ((((((triple7) -> (rule7 % int6)) triple6) -> (rule1 % int4)) ((triple7) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5)) ((triple6 ((((((triple7) -> (rule7 % int6)) triple6) -> (rule1 % int4)) ((triple7) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5)) ((((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5)) ((((((triple7) -> (rule7 % int6)) triple6) -> (rule1 % int4)) ((triple7) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((triple6 ((triple6 ((((((triple7) -> (rule7 % int6)) ((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((triple6 ((((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5)) ((((((triple7) -> (rule7 % int6)) ((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5)) ((triple6 ((((((triple7) -> (rule7 % int6)) ((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5)) ((((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5)) ((((((triple7) -> (rule7 % int6)) ((((triple7) -> (rule7 % int6)) triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule7 % int6))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
Bob is quiet.
("Bob" "is" "quiet" "+")
((((((triple1) -> (rule5 % int6)) ((((triple1 ((triple1) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple1) -> (rule5 % int6)) ((((triple1 ((triple1) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((triple1 ((triple1) -> (rule5 % int6))) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6