Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is young. Dave is cold. Dave is smart. Dave is young. Fiona is quiet. Gary is big. Gary is quiet. Gary is rough. Gary is young. All smart people are big. If someone is rough then they are cold. All quiet people are smart. All kind people are young. Cold people are kind. All smart people are big. Quiet people are young. If someone is big and smart then they are rough. Cold people are smart.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
All smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
All quiet people are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
All kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
All smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
Quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
If someone is big and smart then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
Cold people are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
Gary is quiet.
True
1
proof
[(triple10)]
("Gary" "is" "quiet" "+")
triple10
Fiona is not quiet.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "quiet" "-")
triple8
Dave is kind.
True
2
proof
[(((triple5) -> rule5) OR ((((((((triple6) -> rule1) triple6) -> rule8)) -> rule2)) -> rule5) OR ((((((((triple6) -> rule6) triple6) -> rule8)) -> rule2)) -> rule5))]
("Dave" "is" "kind" "+")
((triple5) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((((((triple6) -> (rule1 % int4)) triple6) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple6) -> (rule6 % int4)) triple6) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is not kind.
False
2
inv-proof
[(((triple5) -> rule5) OR ((((((((triple6) -> rule1) triple6) -> rule8)) -> rule2)) -> rule5) OR ((((((((triple6) -> rule6) triple6) -> rule8)) -> rule2)) -> rule5))]
("Dave" "is" "kind" "-")
((triple5) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((((((triple6) -> (rule1 % int4)) triple6) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple6) -> (rule6 % int4)) triple6) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Gary is kind.
True
3
proof
[(((((triple11) -> rule2)) -> rule5) OR ((((((triple9 ((triple10) -> rule3)) -> rule8)) -> rule2)) -> rule5) OR ((((((((((triple10) -> rule3)) -> rule1) ((triple10) -> rule3)) -> rule8)) -> rule2)) -> rule5) OR ((((((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule8)) -> rule2)) -> rule5))]
("Gary" "is" "kind" "+")
((((triple11) -> (rule2 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((((triple9 ((triple10) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((((triple10) -> (rule3 % int5))) -> (rule1 % int4)) ((triple10) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((((((triple10) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Fiona is not big.
False
3
inv-proof
[(((((triple8) -> rule3)) -> rule1) OR ((((triple8) -> rule3)) -> rule6))]
("Fiona" "is" "big" "-")
((((triple8) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple8) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
True
6
proof
[(((((((triple8) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule8) OR ((((((triple8) -> rule3)) -> rule6) ((triple8) -> rule3)) -> rule8))]
("Fiona" "is" "rough" "+")
((((((triple8) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8) -> (rule3 % int3))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple8) -> (rule3 % int3))) -> (rule6 % int2)) ((triple8) -> (rule3 % int3))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is not rough.
False
6
inv-proof
[(((((((triple8) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule8) OR ((((((triple8) -> rule3)) -> rule6) ((triple8) -> rule3)) -> rule8))]
("Fiona" "is" "rough" "-")
((((((triple8) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8) -> (rule3 % int3))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple8) -> (rule3 % int3))) -> (rule6 % int2)) ((triple8) -> (rule3 % int3))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is cold.
True
7
proof
[(((((((((triple8) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple8) -> rule3)) -> rule6) ((triple8) -> rule3)) -> rule8)) -> rule2))]
("Fiona" "is" "cold" "+")
((((((((triple8) -> (rule3 % int4))) -> (rule1 % int3)) ((triple8) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule6 % int3)) ((triple8) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is not cold.
False
7
inv-proof
[(((((((((triple8) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple8) -> rule3)) -> rule6) ((triple8) -> rule3)) -> rule8)) -> rule2))]
("Fiona" "is" "cold" "-")
((((((((triple8) -> (rule3 % int4))) -> (rule1 % int3)) ((triple8) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule6 % int3)) ((triple8) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is kind.
True
8
proof
[(((((((((((triple8) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule8)) -> rule2)) -> rule5) OR ((((((((((triple8) -> rule3)) -> rule6) ((triple8) -> rule3)) -> rule8)) -> rule2)) -> rule5))]
("Fiona" "is" "kind" "+")
((((((((((triple8) -> (rule3 % int5))) -> (rule1 % int4)) ((triple8) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((((triple8) -> (rule3 % int5))) -> (rule6 % int4)) ((triple8) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
Fiona is not kind.
False
8
inv-proof
[(((((((((((triple8) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule8)) -> rule2)) -> rule5) OR ((((((((((triple8) -> rule3)) -> rule6) ((triple8) -> rule3)) -> rule8)) -> rule2)) -> rule5))]
("Fiona" "is" "kind" "-")
((((((((((triple8) -> (rule3 % int5))) -> (rule1 % int4)) ((triple8) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((((triple8) -> (rule3 % int5))) -> (rule6 % int4)) ((triple8) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
@0: Charlie is kind.[(triple1 OR ((((triple3) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule8)) -> rule2)) -> rule5) OR ((((((((((triple2) -> rule3)) -> rule6) ((triple2) -> rule3)) -> rule8)) -> rule2)) -> rule5))] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3 OR ((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule8) OR ((((((triple2) -> rule3)) -> rule6) ((triple2) -> rule3)) -> rule8))] Charlie is young.[(triple4 OR ((triple1) -> rule4) OR ((triple2) -> rule7) OR ((((((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule8)) -> rule2)) -> rule5)) -> rule4) OR ((((((((((((triple2) -> rule3)) -> rule6) ((triple2) -> rule3)) -> rule8)) -> rule2)) -> rule5)) -> rule4))] Dave is cold.[(triple5 OR ((((((triple6) -> rule1) triple6) -> rule8)) -> rule2) OR ((((((triple6) -> rule6) triple6) -> rule8)) -> rule2))] Dave is smart.[(triple6 OR ((triple5) -> rule9))] Dave is young.[(triple7 OR ((((triple5) -> rule5)) -> rule4) OR ((((((((((triple6) -> rule1) triple6) -> rule8)) -> rule2)) -> rule5)) -> rule4) OR ((((((((((triple6) -> rule6) triple6) -> rule8)) -> rule2)) -> rule5)) -> rule4))] Fiona is quiet.[(triple8)] Gary is big.[(triple9 OR ((((triple10) -> rule3)) -> rule1) OR ((((triple10) -> rule3)) -> rule6) OR ((((((triple11) -> rule2)) -> rule9)) -> rule1) OR ((((((triple11) -> rule2)) -> rule9)) -> rule6))] Gary is quiet.[(triple10)] Gary is rough.[(triple11 OR ((triple9 ((triple10) -> rule3)) -> rule8) OR ((((((triple10) -> rule3)) -> rule1) ((triple10) -> rule3)) -> rule8) OR ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule8))] Gary is young.[(triple12 OR ((triple10) -> rule7) OR ((((((triple11) -> rule2)) -> rule5)) -> rule4) OR ((((((((triple9 ((triple10) -> rule3)) -> rule8)) -> rule2)) -> rule5)) -> rule4) OR ((((((((((((triple10) -> rule3)) -> rule1) ((triple10) -> rule3)) -> rule8)) -> rule2)) -> rule5)) -> rule4) OR ((((((((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule8)) -> rule2)) -> rule5)) -> rule4))] @1: Charlie is cold.[(((triple3) -> rule2) OR ((((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple2) -> rule3)) -> rule6) ((triple2) -> rule3)) -> rule8)) -> rule2))] Charlie is smart.[(((triple2) -> rule3) OR ((((triple3) -> rule2)) -> rule9))] Dave is big.[(((triple6) -> rule1) OR ((triple6) -> rule6) OR ((((triple5) -> rule9)) -> rule1) OR ((((triple5) -> rule9)) -> rule6))] Dave is kind.[(((triple5) -> rule5) OR ((((((((triple6) -> rule1) triple6) -> rule8)) -> rule2)) -> rule5) OR ((((((((triple6) -> rule6) triple6) -> rule8)) -> rule2)) -> rule5))] Fiona is smart.[(((triple8) -> rule3))] Fiona is young.[(((triple8) -> rule7) OR ((((((((((((triple8) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule8)) -> rule2)) -> rule5)) -> rule4) OR ((((((((((((triple8) -> rule3)) -> rule6) ((triple8) -> rule3)) -> rule8)) -> rule2)) -> rule5)) -> rule4))] Gary is cold.[(((triple11) -> rule2) OR ((((triple9 ((triple10) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple10) -> rule3)) -> rule1) ((triple10) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule8)) -> rule2))] Gary is smart.[(((triple10) -> rule3) OR ((((triple11) -> rule2)) -> rule9))] @2: Charlie is big.[(((((triple2) -> rule3)) -> rule1) OR ((((triple2) -> rule3)) -> rule6) OR ((((((triple3) -> rule2)) -> rule9)) -> rule1) OR ((((((triple3) -> rule2)) -> rule9)) -> rule6))] Dave is rough.[(((((triple6) -> rule1) triple6) -> rule8) OR ((((triple6) -> rule6) triple6) -> rule8) OR ((((triple6) -> rule1) ((triple5) -> rule9)) -> rule8) OR ((((triple6) -> rule6) ((triple5) -> rule9)) -> rule8) OR ((((((triple5) -> rule9)) -> rule1) triple6) -> rule8) OR ((((((triple5) -> rule9)) -> rule6) triple6) -> rule8) OR ((((((triple5) -> rule9)) -> rule1) ((triple5) -> rule9)) -> rule8) OR ((((((triple5) -> rule9)) -> rule6) ((triple5) -> rule9)) -> rule8))] Fiona is big.[(((((triple8) -> rule3)) -> rule1) OR ((((triple8) -> rule3)) -> rule6))] Gary is kind.[(((((triple11) -> rule2)) -> rule5) OR ((((((triple9 ((triple10) -> rule3)) -> rule8)) -> rule2)) -> rule5) OR ((((((((((triple10) -> rule3)) -> rule1) ((triple10) -> rule3)) -> rule8)) -> rule2)) -> rule5) OR ((((((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule8)) -> rule2)) -> rule5))] @3: Fiona is rough.[(((((((triple8) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule8) OR ((((((triple8) -> rule3)) -> rule6) ((triple8) -> rule3)) -> rule8))] @4: Fiona is cold.[(((((((((triple8) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule8)) -> rule2) OR ((((((((triple8) -> rule3)) -> rule6) ((triple8) -> rule3)) -> rule8)) -> rule2))] @5: Fiona is kind.[(((((((((((triple8) -> rule3)) -> rule1) ((triple8) -> rule3)) -> rule8)) -> rule2)) -> rule5) OR ((((((((((triple8) -> rule3)) -> rule6) ((triple8) -> rule3)) -> rule8)) -> rule2)) -> rule5))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
((((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((((((((triple2) -> (rule3 % int5))) -> (rule1 % int4)) ((triple2) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((((triple2) -> (rule3 % int5))) -> (rule6 % int4)) ((triple2) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int3))) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((triple2) -> (rule3 % int3))) -> (rule6 % int2)) ((triple2) -> (rule3 % int3))) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
((triple1) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple2) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((((triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((((((((triple2) -> (rule3 % int6))) -> (rule1 % int5)) ((triple2) -> (rule3 % int6))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is smart.
("Charlie" "is" "smart" "+")
int6
((((((((((((triple2) -> (rule3 % int6))) -> (rule6 % int5)) ((triple2) -> (rule3 % int6))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is smart.
("Charlie" "is" "smart" "+")
int6
Dave is cold.
("Dave" "is" "cold" "+")
triple5
((((((triple6) -> (rule1 % int3)) triple6) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple6) -> (rule6 % int3)) triple6) -> (rule8 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
triple6
((triple5) -> (rule9 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple7
((((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((((((((triple6) -> (rule1 % int5)) triple6) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple6) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
((((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple10) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((((triple11) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple11) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple11
((triple9 ((triple10) -> (rule3 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((((triple10) -> (rule3 % int3))) -> (rule1 % int2)) ((triple10) -> (rule3 % int3))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple10) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10) -> (rule3 % int3))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
triple12
((triple10) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((((triple9 ((triple10) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((((((((triple10) -> (rule3 % int6))) -> (rule1 % int5)) ((triple10) -> (rule3 % int6))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
((((((((((((triple10) -> (rule3 % int6))) -> (rule6 % int5)) ((triple10) -> (rule3 % int6))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
int6
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((((((triple2) -> (rule3 % int4))) -> (rule1 % int3)) ((triple2) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((triple2) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple2) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule9 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((triple6) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple6) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple5) -> (rule9 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple5) -> (rule9 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((triple5) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((((((triple6) -> (rule1 % int4)) triple6) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple6) -> (rule6 % int4)) triple6) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple8) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple8) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((((((((((triple8) -> (rule3 % int6))) -> (rule1 % int5)) ((triple8) -> (rule3 % int6))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is smart.
("Fiona" "is" "smart" "+")
int6
((((((((((((triple8) -> (rule3 % int6))) -> (rule6 % int5)) ((triple8) -> (rule3 % int6))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is smart.
("Fiona" "is" "smart" "+")
int6
Gary is cold.
("Gary" "is" "cold" "+")
((triple11) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple9 ((triple10) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((((triple10) -> (rule3 % int4))) -> (rule1 % int3)) ((triple10) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((triple10) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
((triple10) -> (rule3 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple11) -> (rule2 % int2))) -> (rule9 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((((triple3) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple3) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((((triple6) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple6) -> (rule6 % int2)) triple6) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple6) -> (rule1 % int3)) ((triple5) -> (rule9 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((triple6) -> (rule6 % int3)) ((triple5) -> (rule9 % int2))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple5) -> (rule9 % int3))) -> (rule1 % int2)) triple6) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple5) -> (rule9 % int3))) -> (rule6 % int2)) triple6) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple5) -> (rule9 % int3))) -> (rule1 % int2)) ((triple5) -> (rule9 % int3))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple5) -> (rule9 % int3))) -> (rule6 % int2)) ((triple5) -> (rule9 % int3))) -> (rule8 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
((((triple8) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple8) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple11) -> (rule2 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((((triple9 ((triple10) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((((triple10) -> (rule3 % int5))) -> (rule1 % int4)) ((triple10) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
((((((((((triple10) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
((((((triple8) -> (rule3 % int3))) -> (rule1 % int2)) ((triple8) -> (rule3 % int3))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple8) -> (rule3 % int3))) -> (rule6 % int2)) ((triple8) -> (rule3 % int3))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((((triple8) -> (rule3 % int4))) -> (rule1 % int3)) ((triple8) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule6 % int3)) ((triple8) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((((((triple8) -> (rule3 % int5))) -> (rule1 % int4)) ((triple8) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((((triple8) -> (rule3 % int5))) -> (rule6 % int4)) ((triple8) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5