Bob is kind. Bob is quiet. Bob is smart. Bob is young. Charlie is young. Erin is cold. Erin is kind. Erin is quiet. Erin is round. Erin is white. Harry is cold. Harry is quiet. Harry is round. Harry is smart. Harry is white. Harry is young. All white people are young. All kind, quiet people are white. All smart people are cold. If someone is smart then they are kind. All young people are smart. Round people are cold. All young, kind people are quiet. If Harry is kind and Harry is white then Harry is young.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All white people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All kind, quiet people are white.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
All smart people are cold.
((("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
If someone is smart then they are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
All young people are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
All young, kind people are quiet.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
If Harry is kind and Harry is white then Harry is young.
((("Harry" "is" "kind" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "young" "+"))
Bob is young.
True
1
proof
[(triple4 OR ((((triple1 triple2) -> rule2)) -> rule1) OR ((((((triple3) -> rule4) triple2) -> rule2)) -> rule1))]
("Bob" "is" "young" "+")
triple4
((((triple1 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((((triple3) -> (rule4 % int3)) triple2) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Harry is not young.
False
1
inv-proof
[(triple16 OR ((triple15) -> rule1) OR ((((triple14) -> rule4) triple15) -> rule8) OR ((((((triple14) -> rule4) triple12) -> rule2)) -> rule1) OR ((((triple14) -> rule4) ((((triple14) -> rule4) triple12) -> rule2)) -> rule8))]
("Harry" "is" "young" "-")
triple16
((triple15) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((triple14) -> (rule4 % int2)) triple15) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple14) -> (rule4 % int3)) triple12) -> (rule2 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple14) -> (rule4 % int3)) ((((triple14) -> (rule4 % int3)) triple12) -> (rule2 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Erin is young.
True
2
proof
[(((triple10) -> rule1) OR ((((triple7 triple8) -> rule2)) -> rule1))]
("Erin" "is" "young" "+")
((triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple7 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Charlie is not smart.
False
2
inv-proof
[(((triple5) -> rule5))]
("Charlie" "is" "smart" "-")
((triple5) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is kind.
True
3
proof
[(((((triple5) -> rule5)) -> rule4))]
("Charlie" "is" "kind" "+")
((((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is not cold.
False
3
inv-proof
[(((((triple5) -> rule5)) -> rule3))]
("Charlie" "is" "cold" "-")
((((triple5) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is quiet.
True
5
proof
[(((triple5 ((((triple5) -> rule5)) -> rule4)) -> rule7))]
("Charlie" "is" "quiet" "+")
((triple5 ((((triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is not quiet.
False
5
inv-proof
[(((triple5 ((((triple5) -> rule5)) -> rule4)) -> rule7))]
("Charlie" "is" "quiet" "-")
((triple5 ((((triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Bob is kind.[(triple1 OR ((triple3) -> rule4) OR ((((triple4) -> rule5)) -> rule4))] Bob is quiet.[(triple2 OR ((triple4 triple1) -> rule7) OR ((triple4 ((triple3) -> rule4)) -> rule7) OR ((triple4 ((((triple4) -> rule5)) -> rule4)) -> rule7))] Bob is smart.[(triple3 OR ((triple4) -> rule5) OR ((((((triple1 triple2) -> rule2)) -> rule1)) -> rule5))] Bob is young.[(triple4 OR ((((triple1 triple2) -> rule2)) -> rule1) OR ((((((triple3) -> rule4) triple2) -> rule2)) -> rule1))] Charlie is young.[(triple5)] Erin is cold.[(triple6 OR ((triple9) -> rule6) OR ((((((triple10) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple7 triple8) -> rule2)) -> rule1)) -> rule5)) -> rule3))] Erin is kind.[(triple7 OR ((((((triple10) -> rule1)) -> rule5)) -> rule4))] Erin is quiet.[(triple8 OR ((((triple10) -> rule1) triple7) -> rule7) OR ((((triple10) -> rule1) ((((((triple10) -> rule1)) -> rule5)) -> rule4)) -> rule7))] Erin is round.[(triple9)] Erin is white.[(triple10 OR ((triple7 triple8) -> rule2))] Harry is cold.[(triple11 OR ((triple13) -> rule6) OR ((triple14) -> rule3) OR ((((triple16) -> rule5)) -> rule3) OR ((((((triple15) -> rule1)) -> rule5)) -> rule3))] Harry is quiet.[(triple12 OR ((triple16 ((triple14) -> rule4)) -> rule7) OR ((((triple15) -> rule1) ((triple14) -> rule4)) -> rule7) OR ((triple16 ((((triple16) -> rule5)) -> rule4)) -> rule7) OR ((((triple15) -> rule1) ((((triple16) -> rule5)) -> rule4)) -> rule7) OR ((((((triple14) -> rule4) triple15) -> rule8) ((triple14) -> rule4)) -> rule7) OR ((((((triple14) -> rule4) triple15) -> rule8) ((((triple16) -> rule5)) -> rule4)) -> rule7) OR ((triple16 ((((((triple15) -> rule1)) -> rule5)) -> rule4)) -> rule7) OR ((((triple15) -> rule1) ((((((triple15) -> rule1)) -> rule5)) -> rule4)) -> rule7) OR ((((((triple14) -> rule4) triple15) -> rule8) ((((((triple15) -> rule1)) -> rule5)) -> rule4)) -> rule7))] Harry is round.[(triple13)] Harry is smart.[(triple14 OR ((triple16) -> rule5) OR ((((triple15) -> rule1)) -> rule5))] Harry is white.[(triple15 OR ((((triple14) -> rule4) triple12) -> rule2) OR ((((((triple16) -> rule5)) -> rule4) triple12) -> rule2) OR ((((triple14) -> rule4) ((triple16 ((triple14) -> rule4)) -> rule7)) -> rule2) OR ((((((triple16) -> rule5)) -> rule4) ((triple16 ((triple14) -> rule4)) -> rule7)) -> rule2) OR ((((triple14) -> rule4) ((triple16 ((((triple16) -> rule5)) -> rule4)) -> rule7)) -> rule2) OR ((((((triple16) -> rule5)) -> rule4) ((triple16 ((((triple16) -> rule5)) -> rule4)) -> rule7)) -> rule2))] Harry is young.[(triple16 OR ((triple15) -> rule1) OR ((((triple14) -> rule4) triple15) -> rule8) OR ((((((triple14) -> rule4) triple12) -> rule2)) -> rule1) OR ((((triple14) -> rule4) ((((triple14) -> rule4) triple12) -> rule2)) -> rule8))] @1: Bob is cold.[(((triple3) -> rule3) OR ((((triple4) -> rule5)) -> rule3) OR ((((((((triple1 triple2) -> rule2)) -> rule1)) -> rule5)) -> rule3))] Bob is white.[(((triple1 triple2) -> rule2) OR ((triple1 ((triple4 triple1) -> rule7)) -> rule2) OR ((((triple3) -> rule4) triple2) -> rule2) OR ((((triple3) -> rule4) ((triple4 triple1) -> rule7)) -> rule2) OR ((triple1 ((triple4 ((triple3) -> rule4)) -> rule7)) -> rule2) OR ((((((triple4) -> rule5)) -> rule4) triple2) -> rule2) OR ((((triple3) -> rule4) ((triple4 ((triple3) -> rule4)) -> rule7)) -> rule2) OR ((((((triple4) -> rule5)) -> rule4) ((triple4 triple1) -> rule7)) -> rule2) OR ((((((triple4) -> rule5)) -> rule4) ((triple4 ((triple3) -> rule4)) -> rule7)) -> rule2) OR ((triple1 ((triple4 ((((triple4) -> rule5)) -> rule4)) -> rule7)) -> rule2) OR ((((triple3) -> rule4) ((triple4 ((((triple4) -> rule5)) -> rule4)) -> rule7)) -> rule2) OR ((((((triple4) -> rule5)) -> rule4) ((triple4 ((((triple4) -> rule5)) -> rule4)) -> rule7)) -> rule2))] Charlie is smart.[(((triple5) -> rule5))] Erin is young.[(((triple10) -> rule1) OR ((((triple7 triple8) -> rule2)) -> rule1))] Harry is kind.[(((triple14) -> rule4) OR ((((triple16) -> rule5)) -> rule4) OR ((((((triple15) -> rule1)) -> rule5)) -> rule4))] @2: Charlie is cold.[(((((triple5) -> rule5)) -> rule3))] Charlie is kind.[(((((triple5) -> rule5)) -> rule4))] Erin is smart.[(((((triple10) -> rule1)) -> rule5) OR ((((((triple7 triple8) -> rule2)) -> rule1)) -> rule5))] @3: Charlie is quiet.[(((triple5 ((((triple5) -> rule5)) -> rule4)) -> rule7))] @4: Charlie is white.[(((((((triple5) -> rule5)) -> rule4) ((triple5 ((((triple5) -> rule5)) -> rule4)) -> rule7)) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
((triple3) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
((triple4 triple1) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((triple4 ((triple3) -> (rule4 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple4 ((((triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
triple3
((triple4) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((((triple1 triple2) -> (rule2 % 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 young.
("Bob" "is" "young" "+")
triple4
((((triple1 triple2) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((((triple3) -> (rule4 % int3)) triple2) -> (rule2 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
((triple9) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((((triple10) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((((triple7 triple8) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % 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 kind.
("Erin" "is" "kind" "+")
triple7
((((((triple10) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
((((triple10) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple10) -> (rule1 % int4)) ((((((triple10) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
((triple7 triple8) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple11
((triple13) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple14) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple16) -> (rule5 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple15) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
((triple16 ((triple14) -> (rule4 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple15) -> (rule1 % int3)) ((triple14) -> (rule4 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple16 ((((triple16) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple15) -> (rule1 % int4)) ((((triple16) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple14) -> (rule4 % int3)) triple15) -> (rule8 % int2)) ((triple14) -> (rule4 % int3))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple14) -> (rule4 % int4)) triple15) -> (rule8 % int3)) ((((triple16) -> (rule5 % int2))) -> (rule4 % int4))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((triple16 ((((((triple15) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple15) -> (rule1 % int4)) ((((((triple15) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple14) -> (rule4 % int4)) triple15) -> (rule8 % int3)) ((((((triple15) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int4))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
((triple16) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple15) -> (rule1 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
triple15
((((triple14) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple16) -> (rule5 % int3))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple14) -> (rule4 % int3)) ((triple16 ((triple14) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple16) -> (rule5 % int4))) -> (rule4 % int3)) ((triple16 ((triple14) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple14) -> (rule4 % int4)) ((triple16 ((((triple16) -> (rule5 % int3))) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple16) -> (rule5 % int4))) -> (rule4 % int3)) ((triple16 ((((triple16) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple15) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((triple14) -> (rule4 % int2)) triple15) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple14) -> (rule4 % int3)) triple12) -> (rule2 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple14) -> (rule4 % int3)) ((((triple14) -> (rule4 % int3)) triple12) -> (rule2 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
((triple3) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((((((triple1 triple2) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % 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 white.
("Bob" "is" "white" "+")
((triple1 triple2) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple1 ((triple4 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple3) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple3) -> (rule4 % int3)) ((triple4 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple1 ((triple4 ((triple3) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple4) -> (rule5 % int3))) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple4 ((triple3) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple4) -> (rule5 % int4))) -> (rule4 % int3)) ((triple4 triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple4) -> (rule5 % int4))) -> (rule4 % int3)) ((triple4 ((triple3) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((triple1 ((triple4 ((((triple4) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple3) -> (rule4 % int4)) ((triple4 ((((triple4) -> (rule5 % int3))) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple4) -> (rule5 % int4))) -> (rule4 % int3)) ((triple4 ((((triple4) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple5) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple7 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple14) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple16) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple15) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple5) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((((triple10) -> (rule1 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((((triple7 triple8) -> (rule2 % 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
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple5 ((((triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
((((((triple5) -> (rule5 % int4))) -> (rule4 % int3)) ((triple5 ((((triple5) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4