Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Erin is cold. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Erin is young. Harry is cold. Harry is kind. Harry is nice. Harry is red. Harry is smart. If someone is smart then they are quiet. If someone is kind and red then they are quiet. Young, red people are cold. All nice, red people are young. All cold people are red. Smart, quiet people are red.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is smart then they are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
If someone is kind and red then they are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Young, red people are cold.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
All nice, red people are young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
All cold people are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Smart, quiet people are red.
((("someone" "is" "smart" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
Harry is cold.
True
1
proof
[(triple12 OR ((((triple14 triple15) -> rule4) triple15) -> rule3) OR ((((triple14 triple15) -> rule4) ((triple16 ((triple16) -> rule1)) -> rule6)) -> rule3) OR ((((triple14 ((triple16 ((triple16) -> rule1)) -> rule6)) -> rule4) triple15) -> rule3) OR ((((triple14 ((triple16 ((triple16) -> rule1)) -> rule6)) -> rule4) ((triple16 ((triple16) -> rule1)) -> rule6)) -> rule3))]
("Harry" "is" "cold" "+")
triple12
((((triple14 triple15) -> (rule4 % int2)) triple15) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple14 triple15) -> (rule4 % int4)) ((triple16 ((triple16) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple14 ((triple16 ((triple16) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple15) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple14 ((triple16 ((triple16) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple16 ((triple16) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is not smart.
False
1
inv-proof
[(triple16)]
("Harry" "is" "smart" "-")
triple16
Charlie is young.
True
3
proof
[(((triple2 triple3) -> rule4) OR ((triple2 ((triple4 ((triple4) -> rule1)) -> rule6)) -> rule4))]
("Charlie" "is" "young" "+")
((triple2 triple3) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple2 ((triple4 ((triple4) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Harry is not quiet.
False
2
inv-proof
[(((triple16) -> rule1) OR ((triple13 triple15) -> rule2) OR ((triple13 ((triple12) -> rule5)) -> rule2))]
("Harry" "is" "quiet" "-")
((triple16) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple13 triple15) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple13 ((triple12) -> (rule5 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Charlie is cold.
True
5
proof
[(((((triple2 triple3) -> rule4) triple3) -> rule3) OR ((((triple2 triple3) -> rule4) ((triple4 ((triple4) -> rule1)) -> rule6)) -> rule3) OR ((((triple2 ((triple4 ((triple4) -> rule1)) -> rule6)) -> rule4) triple3) -> rule3) OR ((((triple2 ((triple4 ((triple4) -> rule1)) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule1)) -> rule6)) -> rule3))]
("Charlie" "is" "cold" "+")
((((triple2 triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple2 triple3) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple2 ((triple4 ((triple4) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple2 ((triple4 ((triple4) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple4 ((triple4) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is not cold.
False
5
inv-proof
[(((((triple2 triple3) -> rule4) triple3) -> rule3) OR ((((triple2 triple3) -> rule4) ((triple4 ((triple4) -> rule1)) -> rule6)) -> rule3) OR ((((triple2 ((triple4 ((triple4) -> rule1)) -> rule6)) -> rule4) triple3) -> rule3) OR ((((triple2 ((triple4 ((triple4) -> rule1)) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule1)) -> rule6)) -> rule3))]
("Charlie" "is" "cold" "-")
((((triple2 triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple2 triple3) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple2 ((triple4 ((triple4) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple2 ((triple4 ((triple4) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple4 ((triple4) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3 OR ((triple4 ((triple4) -> rule1)) -> rule6))] Charlie is smart.[(triple4)] Erin is cold.[(triple5 OR ((triple11 triple9) -> rule3) OR ((triple11 ((triple10 triple8) -> rule6)) -> rule3) OR ((((triple7 triple9) -> rule4) triple9) -> rule3) OR ((((triple7 triple9) -> rule4) ((triple10 triple8) -> rule6)) -> rule3) OR ((triple11 ((triple10 ((triple10) -> rule1)) -> rule6)) -> rule3) OR ((((triple7 ((triple10 triple8) -> rule6)) -> rule4) triple9) -> rule3) OR ((((triple7 triple9) -> rule4) ((triple10 ((triple10) -> rule1)) -> rule6)) -> rule3) OR ((((triple7 ((triple10 triple8) -> rule6)) -> rule4) ((triple10 triple8) -> rule6)) -> rule3) OR ((((triple7 ((triple10 triple8) -> rule6)) -> rule4) ((triple10 ((triple10) -> rule1)) -> rule6)) -> rule3) OR ((((triple7 ((triple10 ((triple10) -> rule1)) -> rule6)) -> rule4) triple9) -> rule3) OR ((((triple7 ((triple10 ((triple10) -> rule1)) -> rule6)) -> rule4) ((triple10 triple8) -> rule6)) -> rule3) OR ((((triple7 ((triple10 ((triple10) -> rule1)) -> rule6)) -> rule4) ((triple10 ((triple10) -> rule1)) -> rule6)) -> rule3))] Erin is kind.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8 OR ((triple10) -> rule1) OR ((triple6 triple9) -> rule2) OR ((triple6 ((triple5) -> rule5)) -> rule2))] Erin is red.[(triple9 OR ((triple5) -> rule5) OR ((triple10 triple8) -> rule6) OR ((triple10 ((triple10) -> rule1)) -> rule6))] Erin is smart.[(triple10)] Erin is young.[(triple11 OR ((triple7 triple9) -> rule4) OR ((triple7 ((triple5) -> rule5)) -> rule4) OR ((triple7 ((triple10 triple8) -> rule6)) -> rule4) OR ((triple7 ((triple10 ((triple10) -> rule1)) -> rule6)) -> rule4))] Harry is cold.[(triple12 OR ((((triple14 triple15) -> rule4) triple15) -> rule3) OR ((((triple14 triple15) -> rule4) ((triple16 ((triple16) -> rule1)) -> rule6)) -> rule3) OR ((((triple14 ((triple16 ((triple16) -> rule1)) -> rule6)) -> rule4) triple15) -> rule3) OR ((((triple14 ((triple16 ((triple16) -> rule1)) -> rule6)) -> rule4) ((triple16 ((triple16) -> rule1)) -> rule6)) -> rule3))] Harry is kind.[(triple13)] Harry is nice.[(triple14)] Harry is red.[(triple15 OR ((triple12) -> rule5) OR ((triple16 ((triple16) -> rule1)) -> rule6))] Harry is smart.[(triple16)] @1: Charlie is quiet.[(((triple4) -> rule1) OR ((triple1 triple3) -> rule2))] Charlie is young.[(((triple2 triple3) -> rule4) OR ((triple2 ((triple4 ((triple4) -> rule1)) -> rule6)) -> rule4))] Harry is quiet.[(((triple16) -> rule1) OR ((triple13 triple15) -> rule2) OR ((triple13 ((triple12) -> rule5)) -> rule2))] Harry is young.[(((triple14 triple15) -> rule4) OR ((triple14 ((triple12) -> rule5)) -> rule4) OR ((triple14 ((triple16 ((triple16) -> rule1)) -> rule6)) -> rule4))] @2: Charlie is cold.[(((((triple2 triple3) -> rule4) triple3) -> rule3) OR ((((triple2 triple3) -> rule4) ((triple4 ((triple4) -> rule1)) -> rule6)) -> rule3) OR ((((triple2 ((triple4 ((triple4) -> rule1)) -> rule6)) -> rule4) triple3) -> rule3) OR ((((triple2 ((triple4 ((triple4) -> rule1)) -> rule6)) -> rule4) ((triple4 ((triple4) -> rule1)) -> rule6)) -> rule3))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
((triple4 ((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
((triple11 triple9) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple11 ((triple10 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple7 triple9) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple7 triple9) -> (rule4 % int3)) ((triple10 triple8) -> (rule6 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple11 ((triple10 ((triple10) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple7 ((triple10 triple8) -> (rule6 % int3))) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple7 triple9) -> (rule4 % int4)) ((triple10 ((triple10) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple7 ((triple10 triple8) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10 triple8) -> (rule6 % int3))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((((triple7 ((triple10 triple8) -> (rule6 % int4))) -> (rule4 % int3)) ((triple10 ((triple10) -> (rule1 % int2))) -> (rule6 % int4))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
((((triple7 ((triple10 ((triple10) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple7 ((triple10 ((triple10) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10 triple8) -> (rule6 % int3))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple7 ((triple10 ((triple10) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10 ((triple10) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
((triple10) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple6 triple9) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple6 ((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple9
((triple5) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple10 triple8) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple10 ((triple10) -> (rule1 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Erin is young.
("Erin" "is" "young" "+")
triple11
((triple7 triple9) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple7 ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((triple7 ((triple10 triple8) -> (rule6 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((triple7 ((triple10 ((triple10) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
triple12
((((triple14 triple15) -> (rule4 % int2)) triple15) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple14 triple15) -> (rule4 % int4)) ((triple16 ((triple16) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple14 ((triple16 ((triple16) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple15) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple14 ((triple16 ((triple16) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple16 ((triple16) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is red.
("Harry" "is" "red" "+")
triple15
((triple12) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple16 ((triple16) -> (rule1 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple4) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple1 triple3) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple2 triple3) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple2 ((triple4 ((triple4) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple16) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple13 triple15) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple13 ((triple12) -> (rule5 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple14 triple15) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple14 ((triple12) -> (rule5 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple14 ((triple16 ((triple16) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple2 triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple2 triple3) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple2 ((triple4 ((triple4) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple2 ((triple4 ((triple4) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple4 ((triple4) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4