Bob is round. Dave is cold. Dave is green. Dave is smart. Dave is young. Erin is green. Erin is round. Erin is smart. Erin is white. Erin is young. Harry is cold. Harry is green. Harry is rough. Harry is round. Harry is smart. Harry is young. All green, white people are young. If Dave is smart and Dave is young then Dave is round. If someone is round then they are green. Young, smart people are cold. All young people are smart. Green people are white. If someone is young and rough then they are green. If someone is round and green then they are rough.
Bob is round.
("Bob" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
All green, white people are young.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
If Dave is smart and Dave is young then Dave is round.
((("Dave" "is" "smart" "+") ("Dave" "is" "young" "+")) -> ("Dave" "is" "round" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Young, smart people are cold.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
All young people are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is round and green then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Harry is rough.
True
1
proof
[(triple13 OR ((triple14 triple12) -> rule8) OR ((triple14 ((triple14) -> rule3)) -> rule8))]
("Harry" "is" "rough" "+")
triple13
((triple14 triple12) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple14 ((triple14) -> (rule3 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not rough.
False
1
inv-proof
[(triple13 OR ((triple14 triple12) -> rule8) OR ((triple14 ((triple14) -> rule3)) -> rule8))]
("Harry" "is" "rough" "-")
triple13
((triple14 triple12) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple14 ((triple14) -> (rule3 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Dave is white.
True
2
proof
[(((triple3) -> rule6) OR ((((((triple4 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule6))]
("Dave" "is" "white" "+")
((triple3) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Erin is not rough.
False
3
inv-proof
[(((triple7 triple6) -> rule8) OR ((triple7 ((triple7) -> rule3)) -> rule8))]
("Erin" "is" "rough" "-")
((triple7 triple6) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple7 ((triple7) -> (rule3 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Dave is rough.
True
5
proof
[(((((triple4 triple5) -> rule2) triple3) -> rule8) OR ((((((triple5) -> rule5) triple5) -> rule2) triple3) -> rule8) OR ((((triple4 triple5) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((triple5) -> rule5) triple5) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((triple4 ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) triple3) -> rule8) OR ((((triple4 triple5) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((triple5) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) triple3) -> rule8) OR ((((triple4 ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((triple5) -> rule5) triple5) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8) OR ((((triple4 ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((triple5) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((triple5) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) triple5) -> rule2) triple3) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) triple5) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) triple3) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) triple5) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8))]
("Dave" "is" "rough" "+")
((((triple4 triple5) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((((triple5) -> (rule5 % int3)) triple5) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple4 triple5) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple4 ((triple3 ((triple3) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple4 triple5) -> (rule2 % int4)) ((((((triple5) -> (rule5 % int3)) triple5) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple5) -> (rule5 % int5)) ((triple3 ((triple3) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((triple4 ((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple4 ((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule2 % int4)) ((((((triple5) -> (rule5 % int3)) triple5) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((triple5) -> (rule5 % int6)) ((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((((triple5) -> (rule5 % int6)) ((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple5) -> (rule5 % int6)) triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) triple5) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule2 % int3)) ((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
Dave is not rough.
False
5
inv-proof
[(((((triple4 triple5) -> rule2) triple3) -> rule8) OR ((((((triple5) -> rule5) triple5) -> rule2) triple3) -> rule8) OR ((((triple4 triple5) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((triple5) -> rule5) triple5) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((triple4 ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) triple3) -> rule8) OR ((((triple4 triple5) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((triple5) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) triple3) -> rule8) OR ((((triple4 ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((triple5) -> rule5) triple5) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8) OR ((((triple4 ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((triple5) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((triple5) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) triple5) -> rule2) triple3) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) triple5) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) triple3) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) triple5) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8))]
("Dave" "is" "rough" "-")
((((triple4 triple5) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((((triple5) -> (rule5 % int3)) triple5) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple4 triple5) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple4 ((triple3 ((triple3) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple4 triple5) -> (rule2 % int4)) ((((((triple5) -> (rule5 % int3)) triple5) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple5) -> (rule5 % int5)) ((triple3 ((triple3) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((triple4 ((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple4 ((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule2 % int4)) ((((((triple5) -> (rule5 % int3)) triple5) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((triple5) -> (rule5 % int6)) ((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((((triple5) -> (rule5 % int6)) ((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple5) -> (rule5 % int6)) triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) triple5) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule2 % int3)) ((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
Bob is young.
True
6
proof
[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule1))]
("Bob" "is" "young" "+")
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not young.
False
6
inv-proof
[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule1))]
("Bob" "is" "young" "-")
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
True
7
proof
[(((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule1)) -> rule5))]
("Bob" "is" "smart" "+")
((((((triple1) -> (rule3 % int4)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is not smart.
False
7
inv-proof
[(((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule1)) -> rule5))]
("Bob" "is" "smart" "-")
((((((triple1) -> (rule3 % int4)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is cold.
True
14
proof
[(((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule1) ((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4))]
("Bob" "is" "cold" "+")
((((((triple1) -> (rule3 % int5)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule3 % int5)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is not cold.
False
14
inv-proof
[(((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule1) ((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4))]
("Bob" "is" "cold" "-")
((((((triple1) -> (rule3 % int5)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule3 % int5)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
@0: Bob is round.[(triple1)] Dave is cold.[(triple2 OR ((triple5 triple4) -> rule4) OR ((triple5 ((triple5) -> rule5)) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule1) triple4) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule1) ((triple5) -> rule5)) -> rule4) OR ((triple5 ((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule1) ((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5)) -> rule4))] Dave is green.[(triple3 OR ((((triple4 triple5) -> rule2)) -> rule3) OR ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3))] Dave is smart.[(triple4 OR ((triple5) -> rule5) OR ((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5))] Dave is young.[(triple5 OR ((triple3 ((triple3) -> rule6)) -> rule1))] Erin is green.[(triple6 OR ((triple7) -> rule3))] Erin is round.[(triple7)] Erin is smart.[(triple8 OR ((triple10) -> rule5) OR ((((triple6 triple9) -> rule1)) -> rule5) OR ((((triple6 ((triple6) -> rule6)) -> rule1)) -> rule5) OR ((((((triple7) -> rule3) triple9) -> rule1)) -> rule5) OR ((((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1)) -> rule5) OR ((((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule5) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule5))] Erin is white.[(triple9 OR ((triple6) -> rule6) OR ((((triple7) -> rule3)) -> rule6))] Erin is young.[(triple10 OR ((triple6 triple9) -> rule1) OR ((triple6 ((triple6) -> rule6)) -> rule1) OR ((((triple7) -> rule3) triple9) -> rule1) OR ((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1) OR ((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1) OR ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1))] Harry is cold.[(triple11 OR ((triple16 triple15) -> rule4) OR ((triple16 ((triple16) -> rule5)) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule1) triple15) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule1) ((triple16) -> rule5)) -> rule4) OR ((((((triple14) -> rule3) ((triple12) -> rule6)) -> rule1) triple15) -> rule4) OR ((((((triple14) -> rule3) ((triple12) -> rule6)) -> rule1) ((triple16) -> rule5)) -> rule4) OR ((triple16 ((((triple12 ((triple12) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple12 ((((triple14) -> rule3)) -> rule6)) -> rule1) triple15) -> rule4) OR ((triple16 ((((((triple14) -> rule3) ((triple12) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple12 ((((triple14) -> rule3)) -> rule6)) -> rule1) ((triple16) -> rule5)) -> rule4) OR ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule1) triple15) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule1) ((((triple12 ((triple12) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule1) ((triple16) -> rule5)) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule1) ((((((triple14) -> rule3) ((triple12) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple12 ((((triple14) -> rule3)) -> rule6)) -> rule1) ((((triple12 ((triple12) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple14) -> rule3) ((triple12) -> rule6)) -> rule1) ((((triple12 ((triple12) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple12 ((((triple14) -> rule3)) -> rule6)) -> rule1) ((((((triple14) -> rule3) ((triple12) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple14) -> rule3) ((triple12) -> rule6)) -> rule1) ((((((triple14) -> rule3) ((triple12) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule1) ((((triple12 ((triple12) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule1) ((((((triple14) -> rule3) ((triple12) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((triple16 ((((triple12 ((((triple14) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((triple16 ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule1) ((((triple12 ((((triple14) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule1) ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple12 ((((triple14) -> rule3)) -> rule6)) -> rule1) ((((triple12 ((((triple14) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple14) -> rule3) ((triple12) -> rule6)) -> rule1) ((((triple12 ((((triple14) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple12 ((((triple14) -> rule3)) -> rule6)) -> rule1) ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple14) -> rule3) ((triple12) -> rule6)) -> rule1) ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule1) ((((triple12 ((((triple14) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule1) ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4))] Harry is green.[(triple12 OR ((triple14) -> rule3) OR ((triple16 triple13) -> rule7))] Harry is rough.[(triple13 OR ((triple14 triple12) -> rule8) OR ((triple14 ((triple14) -> rule3)) -> rule8))] Harry is round.[(triple14)] Harry is smart.[(triple15 OR ((triple16) -> rule5) OR ((((triple12 ((triple12) -> rule6)) -> rule1)) -> rule5) OR ((((((triple14) -> rule3) ((triple12) -> rule6)) -> rule1)) -> rule5) OR ((((triple12 ((((triple14) -> rule3)) -> rule6)) -> rule1)) -> rule5) OR ((((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule1)) -> rule5))] Harry is young.[(triple16 OR ((triple12 ((triple12) -> rule6)) -> rule1) OR ((((triple14) -> rule3) ((triple12) -> rule6)) -> rule1) OR ((triple12 ((((triple14) -> rule3)) -> rule6)) -> rule1) OR ((((triple14) -> rule3) ((((triple14) -> rule3)) -> rule6)) -> rule1))] @1: Bob is green.[(((triple1) -> rule3))] Dave is round.[(((triple4 triple5) -> rule2) OR ((((triple5) -> rule5) triple5) -> rule2) OR ((triple4 ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) OR ((((triple5) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) OR ((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) triple5) -> rule2) OR ((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2))] Dave is white.[(((triple3) -> rule6) OR ((((((triple4 triple5) -> rule2)) -> rule3)) -> rule6) OR ((((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule6))] Erin is cold.[(((triple10 triple8) -> rule4) OR ((triple10 ((triple10) -> rule5)) -> rule4) OR ((((triple6 triple9) -> rule1) triple8) -> rule4) OR ((((triple6 triple9) -> rule1) ((triple10) -> rule5)) -> rule4) OR ((triple10 ((((triple6 triple9) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 ((triple6) -> rule6)) -> rule1) triple8) -> rule4) OR ((((((triple7) -> rule3) triple9) -> rule1) triple8) -> rule4) OR ((((triple6 triple9) -> rule1) ((((triple6 triple9) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 ((triple6) -> rule6)) -> rule1) ((triple10) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) triple9) -> rule1) ((triple10) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1) triple8) -> rule4) OR ((((triple6 ((triple6) -> rule6)) -> rule1) ((((triple6 triple9) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) triple9) -> rule1) ((((triple6 triple9) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1) ((triple10) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1) ((((triple6 triple9) -> rule1)) -> rule5)) -> rule4) OR ((triple10 ((((triple6 ((triple6) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((triple10 ((((((triple7) -> rule3) triple9) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1) triple8) -> rule4) OR ((triple10 ((((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 triple9) -> rule1) ((((triple6 ((triple6) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 triple9) -> rule1) ((((((triple7) -> rule3) triple9) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1) ((triple10) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1) triple8) -> rule4) OR ((((triple6 triple9) -> rule1) ((((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 ((triple6) -> rule6)) -> rule1) ((((triple6 ((triple6) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 ((triple6) -> rule6)) -> rule1) ((((((triple7) -> rule3) triple9) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1) ((((triple6 triple9) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) triple9) -> rule1) ((((triple6 ((triple6) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) triple9) -> rule1) ((((((triple7) -> rule3) triple9) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1) ((triple10) -> rule5)) -> rule4) OR ((((triple6 ((triple6) -> rule6)) -> rule1) ((((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1) ((((triple6 ((triple6) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1) ((((((triple7) -> rule3) triple9) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) triple9) -> rule1) ((((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1) ((((triple6 ((triple6) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1) ((((((triple7) -> rule3) triple9) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1) ((((triple6 triple9) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1) ((((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1) ((((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1) ((((triple6 ((triple6) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1) ((((((triple7) -> rule3) triple9) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1) ((((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((triple10 ((((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((triple10 ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 triple9) -> rule1) ((((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 triple9) -> rule1) ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 ((triple6) -> rule6)) -> rule1) ((((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) triple9) -> rule1) ((((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 ((triple6) -> rule6)) -> rule1) ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1) ((((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) triple9) -> rule1) ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1) ((((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1) ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) ((triple6) -> rule6)) -> rule1) ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1) ((((triple6 ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1) ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4))] Erin is rough.[(((triple7 triple6) -> rule8) OR ((triple7 ((triple7) -> rule3)) -> rule8))] Harry is white.[(((triple12) -> rule6) OR ((((triple14) -> rule3)) -> rule6) OR ((((triple16 triple13) -> rule7)) -> rule6))] @2: Bob is rough.[(((triple1 ((triple1) -> rule3)) -> rule8))] Bob is white.[(((((triple1) -> rule3)) -> rule6))] Dave is rough.[(((((triple4 triple5) -> rule2) triple3) -> rule8) OR ((((((triple5) -> rule5) triple5) -> rule2) triple3) -> rule8) OR ((((triple4 triple5) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((triple5) -> rule5) triple5) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((triple4 ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) triple3) -> rule8) OR ((((triple4 triple5) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((triple5) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) triple3) -> rule8) OR ((((triple4 ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((triple5) -> rule5) triple5) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8) OR ((((triple4 ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((triple5) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((triple5) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) triple5) -> rule2) triple3) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) triple5) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) triple3) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) triple5) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((triple4 triple5) -> rule2)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple3) -> rule6)) -> rule1)) -> rule5) ((triple3 ((triple3) -> rule6)) -> rule1)) -> rule2) ((((((triple5) -> rule5) triple5) -> rule2)) -> rule3)) -> rule8))] @3: Bob is young.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule1))] @4: Bob is smart.[(((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule1)) -> rule5))] @5: Bob is cold.[(((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule1) ((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule1)) -> rule5)) -> rule4))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
((triple5 triple4) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((triple5 ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple3 ((triple3) -> (rule6 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((triple5 ((((triple3 ((triple3) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple3 ((triple3) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple3 ((triple3) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
triple3
((((triple4 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((((triple5) -> (rule5 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
((triple5) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
triple5
((triple3 ((triple3) -> (rule6 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple6
((triple7) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
((triple10) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple6 triple9) -> (rule1 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple6 ((triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple7) -> (rule3 % int3)) triple9) -> (rule1 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple7) -> (rule3 % int4)) ((triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple6 ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
triple9
((triple6) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
triple10
((triple6 triple9) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple6 ((triple6) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple7) -> (rule3 % int2)) triple9) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple7) -> (rule3 % int3)) ((triple6) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((triple6 ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
triple11
((triple16 triple15) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple16 ((triple16) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple12 ((triple12) -> (rule6 % int3))) -> (rule1 % int2)) triple15) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple12 ((triple12) -> (rule6 % int4))) -> (rule1 % int3)) ((triple16) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple14) -> (rule3 % int4)) ((triple12) -> (rule6 % int3))) -> (rule1 % int2)) triple15) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple14) -> (rule3 % int5)) ((triple12) -> (rule6 % int4))) -> (rule1 % int3)) ((triple16) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((triple16 ((((triple12 ((triple12) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple12 ((((triple14) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple15) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple16 ((((((triple14) -> (rule3 % int5)) ((triple12) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple12 ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple16) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple14) -> (rule3 % int4)) ((((triple14) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple15) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple12 ((triple12) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple12 ((triple12) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple14) -> (rule3 % int5)) ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple16) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple12 ((triple12) -> (rule6 % int5))) -> (rule1 % int4)) ((((((triple14) -> (rule3 % int3)) ((triple12) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple12 ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple12 ((triple12) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple14) -> (rule3 % int5)) ((triple12) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple12 ((triple12) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple12 ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple14) -> (rule3 % int5)) ((triple12) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple14) -> (rule3 % int5)) ((triple12) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple14) -> (rule3 % int5)) ((triple12) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple14) -> (rule3 % int5)) ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple12 ((triple12) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple14) -> (rule3 % int5)) ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple14) -> (rule3 % int5)) ((triple12) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((triple16 ((((triple12 ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((triple16 ((((((triple14) -> (rule3 % int5)) ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple12 ((triple12) -> (rule6 % int5))) -> (rule1 % int4)) ((((triple12 ((((triple14) -> (rule3 % int3))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple12 ((triple12) -> (rule6 % int5))) -> (rule1 % int4)) ((((((triple14) -> (rule3 % int3)) ((((triple14) -> (rule3 % int3))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple12 ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple12 ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple14) -> (rule3 % int5)) ((triple12) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple12 ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple12 ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple14) -> (rule3 % int5)) ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple14) -> (rule3 % int5)) ((triple12) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple14) -> (rule3 % int5)) ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple14) -> (rule3 % int5)) ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple12 ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple14) -> (rule3 % int5)) ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple14) -> (rule3 % int5)) ((((triple14) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
triple12
((triple14) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple16 triple13) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple13
((triple14 triple12) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple14 ((triple14) -> (rule3 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
((triple16) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple12 ((triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple14) -> (rule3 % int4)) ((triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple12 ((((triple14) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple14) -> (rule3 % int4)) ((((triple14) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple12 ((triple12) -> (rule6 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple14) -> (rule3 % int3)) ((triple12) -> (rule6 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((triple12 ((((triple14) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple14) -> (rule3 % int3)) ((((triple14) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple4 triple5) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((((triple5) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((triple4 ((triple3 ((triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple5) -> (rule5 % int4)) ((triple3 ((triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((triple3 ((triple3) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple3 ((triple3) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) ((triple3 ((triple3) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
((triple3) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
((triple10 triple8) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple10 ((triple10) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple6 triple9) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple6 triple9) -> (rule1 % int3)) ((triple10) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple10 ((((triple6 triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((triple6 ((triple6) -> (rule6 % int3))) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple7) -> (rule3 % int3)) triple9) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((triple6 triple9) -> (rule1 % int3)) ((((triple6 triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((triple6 ((triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((triple10) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule3 % int4)) triple9) -> (rule1 % int3)) ((triple10) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple7) -> (rule3 % int4)) ((triple6) -> (rule6 % int3))) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple6 ((triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple6 triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple7) -> (rule3 % int4)) triple9) -> (rule1 % int3)) ((((triple6 triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple7) -> (rule3 % int5)) ((triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((triple10) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple6 triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((triple10 ((((triple6 ((triple6) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple10 ((((((triple7) -> (rule3 % int4)) triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple6 ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((triple10 ((((((triple7) -> (rule3 % int5)) ((triple6) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple6 triple9) -> (rule1 % int4)) ((((triple6 ((triple6) -> (rule6 % int3))) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple6 triple9) -> (rule1 % int4)) ((((((triple7) -> (rule3 % int3)) triple9) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple6 ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple10) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple6 triple9) -> (rule1 % int5)) ((((((triple7) -> (rule3 % int4)) ((triple6) -> (rule6 % int3))) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((triple6 ((triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple6 ((triple6) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple6 ((triple6) -> (rule6 % int5))) -> (rule1 % int4)) ((((((triple7) -> (rule3 % int3)) triple9) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple6 ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple6 triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int5)) triple9) -> (rule1 % int4)) ((((triple6 ((triple6) -> (rule6 % int3))) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int4)) triple9) -> (rule1 % int3)) ((((((triple7) -> (rule3 % int4)) triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((triple10) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple6 ((triple6) -> (rule6 % int5))) -> (rule1 % int4)) ((((((triple7) -> (rule3 % int3)) ((triple6) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple6 ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple6 ((triple6) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple6 ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple7) -> (rule3 % int5)) triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int5)) triple9) -> (rule1 % int4)) ((((((triple7) -> (rule3 % int5)) ((triple6) -> (rule6 % int3))) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple6 ((triple6) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple7) -> (rule3 % int5)) triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple6 triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple6 ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple7) -> (rule3 % int5)) ((triple6) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple7) -> (rule3 % int5)) ((triple6) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple6 ((triple6) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple7) -> (rule3 % int5)) triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple7) -> (rule3 % int5)) ((triple6) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((triple10 ((((triple6 ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((triple10 ((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple6 triple9) -> (rule1 % int5)) ((((triple6 ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((triple6 triple9) -> (rule1 % int5)) ((((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((triple6 ((triple6) -> (rule6 % int5))) -> (rule1 % int4)) ((((triple6 ((((triple7) -> (rule3 % int3))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple7) -> (rule3 % int5)) triple9) -> (rule1 % int4)) ((((triple6 ((((triple7) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple6 ((triple6) -> (rule6 % int5))) -> (rule1 % int4)) ((((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple6 ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple6 ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int5)) triple9) -> (rule1 % int4)) ((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple6 ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple6 ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int5)) ((triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple6 ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
((triple7 triple6) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple7 ((triple7) -> (rule3 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
((triple12) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((((triple14) -> (rule3 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple16 triple13) -> (rule7 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((triple1 ((triple1) -> (rule3 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((((triple4 triple5) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((((triple5) -> (rule5 % int3)) triple5) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple4 triple5) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple4 ((triple3 ((triple3) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple4 triple5) -> (rule2 % int4)) ((((((triple5) -> (rule5 % int3)) triple5) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple5) -> (rule5 % int5)) ((triple3 ((triple3) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((triple4 ((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple4 ((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule2 % int4)) ((((((triple5) -> (rule5 % int3)) triple5) -> (rule2 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((triple5) -> (rule5 % int6)) ((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((((triple5) -> (rule5 % int6)) ((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple5) -> (rule5 % int6)) triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) triple5) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple3 ((triple3) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule2 % int2)) triple3) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) triple5) -> (rule2 % int3)) ((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule2 % int3)) ((((triple4 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
((((((((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule5 % int4)) ((triple3 ((triple3) -> (rule6 % int6))) -> (rule1 % int5))) -> (rule2 % int3)) ((((((triple5) -> (rule5 % int4)) triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
int6
Bob is young.
("Bob" "is" "young" "+")
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
((((((triple1) -> (rule3 % int4)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
((((((triple1) -> (rule3 % int5)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule3 % int5)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5