Dave is big. Dave is cold. Dave is furry. Dave is red. Dave is round. Erin is cold. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is round. Harry is cold. Harry is furry. Harry is rough. Harry is round. If something is red and round then it is big. If something is kind then it is round. All furry things are rough. If something is red then it is kind. Big, round things are rough. If Dave is furry then Dave is kind. All round, big things are rough. Big things are red. If something is cold then it is red.
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is red and round then it is big.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If something is kind then it is round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
All furry things are rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
If something is red then it is kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
Big, round things are rough.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If Dave is furry then Dave is kind.
((("Dave" "is" "furry" "+")) -> ("Dave" "is" "kind" "+"))
All round, big things are rough.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something is cold then it is red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
Dave is furry.
True
1
proof
[(triple3)]
("Dave" "is" "furry" "+")
triple3
Harry is not cold.
False
1
inv-proof
[(triple11)]
("Harry" "is" "cold" "-")
triple11
Dave is rough.
True
2
proof
[(((triple3) -> rule3) OR ((triple1 triple5) -> rule5) OR ((triple5 triple1) -> rule7) OR ((triple5 ((triple4 triple5) -> rule1)) -> rule7) OR ((((triple4 triple5) -> rule1) triple5) -> rule5) OR ((triple1 ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((triple1 ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((((triple2) -> rule9) triple5) -> rule1)) -> rule7) OR ((((((triple3) -> rule6)) -> rule2) triple1) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) triple1) -> rule7) OR ((((((triple2) -> rule9) triple5) -> rule1) triple5) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((triple4 triple5) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((triple4 triple5) -> rule1)) -> rule7) OR ((((triple4 triple5) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((triple4 triple5) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((((triple2) -> rule9) triple5) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((((triple2) -> rule9) triple5) -> rule1)) -> rule7) OR ((((((triple2) -> rule9) triple5) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) triple5) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((triple1 ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((triple1 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((triple5 ((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) triple1) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) triple1) -> rule7) OR ((((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1) triple5) -> rule5) OR ((((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1) triple5) -> rule5) OR ((triple5 ((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((triple5 ((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((triple4 triple5) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((triple4 triple5) -> rule1)) -> rule7) OR ((((triple4 triple5) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 triple5) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1) triple5) -> rule5) OR ((((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1) triple5) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple3) -> rule6)) -> rule2) ((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((((triple2) -> rule9) triple5) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((((triple2) -> rule9) triple5) -> rule1)) -> rule7) OR ((((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) triple5) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) triple5) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple3) -> rule6)) -> rule2) ((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) triple5) -> rule5) OR ((triple5 ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) triple5) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5))]
("Dave" "is" "rough" "+")
((triple3) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple1 triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple5 triple1) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple5 ((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple4 triple5) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((triple1 ((((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple1 ((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple5 ((((triple2) -> (rule9 % int3)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple4) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple2) -> (rule9 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple3) -> (rule6 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 triple5) -> (rule1 % int4)) ((((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((triple4 triple5) -> (rule1 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple3) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int4)) ((((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple1 ((((((triple1) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((triple1 ((((((triple2) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((triple5 ((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((triple5 ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple1) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((((triple2) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((triple5 ((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple5 ((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 triple5) -> (rule1 % int5)) ((((((triple1) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple4 triple5) -> (rule1 % int5)) ((((((triple2) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple3) -> (rule6 % int4))) -> (rule2 % int3)) ((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple3) -> (rule6 % int4))) -> (rule2 % int3)) ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int4)) ((((((triple1) -> (rule8 % int5))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int4)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple3) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple3) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule8 % int2))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple4 ((((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple4 ((((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule8 % int2))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple4 ((((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple5 ((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple5 ((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple3) -> (rule6 % int5))) -> (rule2 % int4)) ((triple4 ((((((triple2) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule2 % int4)) ((triple4 ((((((triple2) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple3) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((((triple2) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((((triple2) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is not rough.
False
2
inv-proof
[(((triple3) -> rule3) OR ((triple1 triple5) -> rule5) OR ((triple5 triple1) -> rule7) OR ((triple5 ((triple4 triple5) -> rule1)) -> rule7) OR ((((triple4 triple5) -> rule1) triple5) -> rule5) OR ((triple1 ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((triple1 ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((((triple2) -> rule9) triple5) -> rule1)) -> rule7) OR ((((((triple3) -> rule6)) -> rule2) triple1) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) triple1) -> rule7) OR ((((((triple2) -> rule9) triple5) -> rule1) triple5) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((triple4 triple5) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((triple4 triple5) -> rule1)) -> rule7) OR ((((triple4 triple5) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((triple4 triple5) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((((triple2) -> rule9) triple5) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((((triple2) -> rule9) triple5) -> rule1)) -> rule7) OR ((((((triple2) -> rule9) triple5) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) triple5) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((triple1 ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((triple1 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((triple5 ((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) triple1) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) triple1) -> rule7) OR ((((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1) triple5) -> rule5) OR ((((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1) triple5) -> rule5) OR ((triple5 ((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((triple5 ((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((triple4 triple5) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((triple4 triple5) -> rule1)) -> rule7) OR ((((triple4 triple5) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 triple5) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1) triple5) -> rule5) OR ((((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1) triple5) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple3) -> rule6)) -> rule2) ((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((((triple2) -> rule9) triple5) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((((triple2) -> rule9) triple5) -> rule1)) -> rule7) OR ((((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) triple5) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) triple5) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple3) -> rule6)) -> rule2) ((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) triple5) -> rule5) OR ((triple5 ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) triple5) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5))]
("Dave" "is" "rough" "-")
((triple3) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple1 triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple5 triple1) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple5 ((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple4 triple5) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((triple1 ((((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple1 ((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple5 ((((triple2) -> (rule9 % int3)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple4) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple2) -> (rule9 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple3) -> (rule6 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 triple5) -> (rule1 % int4)) ((((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((triple4 triple5) -> (rule1 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple3) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int4)) ((((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple1 ((((((triple1) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((triple1 ((((((triple2) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((triple5 ((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((triple5 ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple1) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((((triple2) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((triple5 ((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple5 ((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 triple5) -> (rule1 % int5)) ((((((triple1) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple4 triple5) -> (rule1 % int5)) ((((((triple2) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple3) -> (rule6 % int4))) -> (rule2 % int3)) ((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple3) -> (rule6 % int4))) -> (rule2 % int3)) ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int4)) ((((((triple1) -> (rule8 % int5))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int4)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple3) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple3) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule8 % int2))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple4 ((((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple4 ((((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule8 % int2))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple4 ((((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple5 ((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple5 ((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple3) -> (rule6 % int5))) -> (rule2 % int4)) ((triple4 ((((((triple2) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule2 % int4)) ((triple4 ((((((triple2) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple3) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((((triple2) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((((triple2) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Harry is big.
True
4
proof
[(((((triple11) -> rule9) triple14) -> rule1) OR ((((triple11) -> rule9) ((((((triple11) -> rule9)) -> rule4)) -> rule2)) -> rule1))]
("Harry" "is" "big" "+")
((((triple11) -> (rule9 % int2)) triple14) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple11) -> (rule9 % int4)) ((((((triple11) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is not kind.
False
3
inv-proof
[(((((triple11) -> rule9)) -> rule4))]
("Harry" "is" "kind" "-")
((((triple11) -> (rule9 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Erin is round.
True
4
proof
[(((((((triple6) -> rule9)) -> rule4)) -> rule2))]
("Erin" "is" "round" "+")
((((((triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is not round.
False
4
inv-proof
[(((((((triple6) -> rule9)) -> rule4)) -> rule2))]
("Erin" "is" "round" "-")
((((((triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
True
7
proof
[(((((triple6) -> rule9) ((((((triple6) -> rule9)) -> rule4)) -> rule2)) -> rule1))]
("Erin" "is" "big" "+")
((((triple6) -> (rule9 % int4)) ((((((triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is not big.
False
7
inv-proof
[(((((triple6) -> rule9) ((((((triple6) -> rule9)) -> rule4)) -> rule2)) -> rule1))]
("Erin" "is" "big" "-")
((((triple6) -> (rule9 % int4)) ((((((triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is rough.
True
12
proof
[(((((((((triple6) -> rule9)) -> rule4)) -> rule2) ((((triple6) -> rule9) ((((((triple6) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple6) -> rule9) ((((((triple6) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((((triple6) -> rule9)) -> rule4)) -> rule2)) -> rule5))]
("Erin" "is" "rough" "+")
((((((((triple6) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple6) -> (rule9 % int5)) ((((((triple6) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple6) -> (rule9 % int5)) ((((((triple6) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple6) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is not rough.
False
12
inv-proof
[(((((((((triple6) -> rule9)) -> rule4)) -> rule2) ((((triple6) -> rule9) ((((((triple6) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple6) -> rule9) ((((((triple6) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((((triple6) -> rule9)) -> rule4)) -> rule2)) -> rule5))]
("Erin" "is" "rough" "-")
((((((((triple6) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple6) -> (rule9 % int5)) ((((((triple6) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple6) -> (rule9 % int5)) ((((((triple6) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple6) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Fiona is not red.
Unknown
inv-rconc
[@3: Fiona is red.[CWA. Example of deepest failure = (rule8 <- rule1 <- rule9 <- FAIL)]]
("Fiona" "is" "red" "-")
Fiona is big.
Unknown
rconc
[@2: Fiona is big.[CWA. Example of deepest failure = (rule1 <- rule8 <- FAIL)]]
("Fiona" "is" "big" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Dave is big.[(triple1 OR ((triple4 triple5) -> rule1) OR ((((triple2) -> rule9) triple5) -> rule1) OR ((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1) OR ((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1) OR ((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1) OR ((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1) OR ((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) OR ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1))] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is red.[(triple4 OR ((triple1) -> rule8) OR ((triple2) -> rule9))] Dave is round.[(triple5 OR ((((triple3) -> rule6)) -> rule2) OR ((((triple4) -> rule4)) -> rule2) OR ((((((triple1) -> rule8)) -> rule4)) -> rule2) OR ((((((triple2) -> rule9)) -> rule4)) -> rule2))] Erin is cold.[(triple6)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8)] Fiona is rough.[(triple9 OR ((triple7) -> rule3))] Fiona is round.[(triple10 OR ((triple8) -> rule2))] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is rough.[(triple13 OR ((triple12) -> rule3) OR ((triple14 ((((triple11) -> rule9) triple14) -> rule1)) -> rule7) OR ((((((triple11) -> rule9) triple14) -> rule1) triple14) -> rule5) OR ((((((((triple11) -> rule9)) -> rule4)) -> rule2) ((((triple11) -> rule9) triple14) -> rule1)) -> rule7) OR ((((((triple11) -> rule9) triple14) -> rule1) ((((((triple11) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((triple14 ((((triple11) -> rule9) ((((((triple11) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple11) -> rule9) ((((((triple11) -> rule9)) -> rule4)) -> rule2)) -> rule1) triple14) -> rule5) OR ((((((((triple11) -> rule9)) -> rule4)) -> rule2) ((((triple11) -> rule9) ((((((triple11) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple11) -> rule9) ((((((triple11) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((((triple11) -> rule9)) -> rule4)) -> rule2)) -> rule5))] Harry is round.[(triple14 OR ((((((triple11) -> rule9)) -> rule4)) -> rule2))] @1: Dave is kind.[(((triple3) -> rule6) OR ((triple4) -> rule4) OR ((((triple1) -> rule8)) -> rule4) OR ((((triple2) -> rule9)) -> rule4))] Dave is rough.[(((triple3) -> rule3) OR ((triple1 triple5) -> rule5) OR ((triple5 triple1) -> rule7) OR ((triple5 ((triple4 triple5) -> rule1)) -> rule7) OR ((((triple4 triple5) -> rule1) triple5) -> rule5) OR ((triple1 ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((triple1 ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((((triple2) -> rule9) triple5) -> rule1)) -> rule7) OR ((((((triple3) -> rule6)) -> rule2) triple1) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) triple1) -> rule7) OR ((((((triple2) -> rule9) triple5) -> rule1) triple5) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((triple4 triple5) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((triple4 triple5) -> rule1)) -> rule7) OR ((((triple4 triple5) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((triple4 triple5) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((((triple2) -> rule9) triple5) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((((triple2) -> rule9) triple5) -> rule1)) -> rule7) OR ((((((triple2) -> rule9) triple5) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) triple5) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((triple1 ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((triple1 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((triple5 ((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) triple1) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) triple1) -> rule7) OR ((((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1) triple5) -> rule5) OR ((((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1) triple5) -> rule5) OR ((triple5 ((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((triple5 ((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((triple4 triple5) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((triple4 triple5) -> rule1)) -> rule7) OR ((((triple4 triple5) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 triple5) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1) triple5) -> rule5) OR ((((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1) triple5) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple3) -> rule6)) -> rule2) ((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((((triple2) -> rule9) triple5) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((((triple2) -> rule9) triple5) -> rule1)) -> rule7) OR ((((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) triple5) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) triple5) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple3) -> rule6)) -> rule2) ((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple3) -> rule6)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((triple4) -> rule4)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((triple5 ((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) triple5) -> rule5) OR ((triple5 ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) triple5) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((triple3) -> rule6)) -> rule2) ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple4) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((triple4 ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule6)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((triple4) -> rule4)) -> rule2)) -> rule5) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple2) -> rule9)) -> rule4)) -> rule2) ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((((triple1) -> rule8)) -> rule4)) -> rule2)) -> rule5) OR ((((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((((triple2) -> rule9)) -> rule4)) -> rule2)) -> rule5))] Erin is red.[(((triple6) -> rule9))] Harry is red.[(((triple11) -> rule9))] @2: Erin is kind.[(((((triple6) -> rule9)) -> rule4))] Harry is big.[(((((triple11) -> rule9) triple14) -> rule1) OR ((((triple11) -> rule9) ((((((triple11) -> rule9)) -> rule4)) -> rule2)) -> rule1))] Harry is kind.[(((((triple11) -> rule9)) -> rule4))] @3: Erin is round.[(((((((triple6) -> rule9)) -> rule4)) -> rule2))] @4: Erin is big.[(((((triple6) -> rule9) ((((((triple6) -> rule9)) -> rule4)) -> rule2)) -> rule1))] @5: Erin is rough.[(((((((((triple6) -> rule9)) -> rule4)) -> rule2) ((((triple6) -> rule9) ((((((triple6) -> rule9)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((triple6) -> rule9) ((((((triple6) -> rule9)) -> rule4)) -> rule2)) -> rule1) ((((((triple6) -> rule9)) -> rule4)) -> rule2)) -> rule5))]
Dave is big.
("Dave" "is" "big" "+")
triple1
((triple4 triple5) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple2) -> (rule9 % int2)) triple5) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((triple4 ((((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple4 ((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple2) -> (rule9 % int4)) ((((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple2) -> (rule9 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((triple4 ((((((triple2) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple2) -> (rule9 % int4)) ((((((triple2) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple4
((triple1) -> (rule8 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple2) -> (rule9 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple5
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple4) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((((triple1) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple2) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
((triple7) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple10
((triple8) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple13
((triple12) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple14 ((((triple11) -> (rule9 % int3)) triple14) -> (rule1 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple11) -> (rule9 % int3)) triple14) -> (rule1 % int2)) triple14) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((((triple11) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple11) -> (rule9 % int5)) triple14) -> (rule1 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple11) -> (rule9 % int5)) triple14) -> (rule1 % int4)) ((((((triple11) -> (rule9 % int5))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((triple14 ((((triple11) -> (rule9 % int5)) ((((((triple11) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple11) -> (rule9 % int5)) ((((((triple11) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple14) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((((triple11) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple11) -> (rule9 % int5)) ((((((triple11) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple11) -> (rule9 % int5)) ((((((triple11) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple11) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
triple14
((((((triple11) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
((triple3) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple4) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple2) -> (rule9 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((triple3) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple1 triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple5 triple1) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple5 ((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple4 triple5) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((triple1 ((((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple1 ((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple5 ((((triple2) -> (rule9 % int3)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple4) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple2) -> (rule9 % int3)) triple5) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((((triple3) -> (rule6 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 triple5) -> (rule1 % int4)) ((((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((triple4 triple5) -> (rule1 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple3) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int4)) ((((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int4)) ((((triple4) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple1 ((((((triple1) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((triple1 ((((((triple2) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((triple5 ((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((triple5 ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple1) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((((((triple2) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((triple5 ((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple5 ((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 triple5) -> (rule1 % int5)) ((((((triple1) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((triple4 triple5) -> (rule1 % int5)) ((((((triple2) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple3) -> (rule6 % int4))) -> (rule2 % int3)) ((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple3) -> (rule6 % int4))) -> (rule2 % int3)) ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple4) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int4)) ((((((triple1) -> (rule8 % int5))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) triple5) -> (rule1 % int4)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple3) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple3) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule8 % int2))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple4 ((((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple4 ((((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule8 % int2))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple4 ((((triple4) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule9 % int2))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple5 ((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((triple5 ((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple3) -> (rule6 % int5))) -> (rule2 % int4)) ((triple4 ((((((triple2) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule2 % int4)) ((triple4 ((((((triple2) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple3) -> (rule6 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((((triple2) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((triple4) -> (rule4 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule9 % int3)) ((((((triple2) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((triple4 ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple4) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple1) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
((((((triple2) -> (rule9 % int5)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple2) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Erin is red.
("Erin" "is" "red" "+")
((triple6) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple11) -> (rule9 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((((triple6) -> (rule9 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple11) -> (rule9 % int2)) triple14) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple11) -> (rule9 % int4)) ((((((triple11) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
((((triple11) -> (rule9 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((((((triple6) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
((((triple6) -> (rule9 % int4)) ((((((triple6) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
((((((((triple6) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) ((((triple6) -> (rule9 % int5)) ((((((triple6) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple6) -> (rule9 % int5)) ((((((triple6) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((((triple6) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5