Bob is cold. Bob is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Dave is rough. Erin is kind. Erin is rough. Erin is smart. Erin is white. If someone is white and cold then they are rough. All kind people are quiet. All smart people are white. Rough, kind people are nice. Rough people are kind. Cold people are smart. All nice, quiet people are cold. If Erin is smart then Erin is quiet.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
If someone is white and cold then they are rough.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
All kind people are quiet.
((("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
All smart people are white.
((("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
Rough, kind people are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Cold people are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
All nice, quiet people are cold.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If Erin is smart then Erin is quiet.
((("Erin" "is" "smart" "+")) -> ("Erin" "is" "quiet" "+"))
Charlie is quiet.
True
1
proof
[(triple4 OR ((((triple5) -> rule5)) -> rule2))]
("Charlie" "is" "quiet" "+")
triple4
((((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not nice.
False
1
inv-proof
[(triple3 OR ((triple5 ((triple5) -> rule5)) -> rule4))]
("Charlie" "is" "nice" "-")
triple3
((triple5 ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Bob is quiet.
True
2
proof
[(((triple2) -> rule2) OR ((((((((((triple1) -> rule6)) -> rule3) triple1) -> rule1)) -> rule5)) -> rule2))]
("Bob" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((((((((triple1) -> (rule6 % int5))) -> (rule3 % int4)) triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Erin is not quiet.
False
2
inv-proof
[(((triple7) -> rule2) OR ((triple9) -> rule8) OR ((((triple8) -> rule5)) -> rule2))]
("Erin" "is" "quiet" "-")
((triple7) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple9) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple8) -> (rule5 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Dave is nice.
True
4
proof
[(((triple6 ((triple6) -> rule5)) -> rule4))]
("Dave" "is" "nice" "+")
((triple6 ((triple6) -> (rule5 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Bob is not white.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule3))]
("Bob" "is" "white" "-")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is rough.
True
5
proof
[(((((((triple1) -> rule6)) -> rule3) triple1) -> rule1))]
("Bob" "is" "rough" "+")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Dave is not cold.
False
8
inv-proof
[(((((triple6 ((triple6) -> rule5)) -> rule4) ((((triple6) -> rule5)) -> rule2)) -> rule7))]
("Dave" "is" "cold" "-")
((((triple6 ((triple6) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple6) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Bob is nice.
True
7
proof
[(((((((((triple1) -> rule6)) -> rule3) triple1) -> rule1) triple2) -> rule4) OR ((((((((triple1) -> rule6)) -> rule3) triple1) -> rule1) ((((((((triple1) -> rule6)) -> rule3) triple1) -> rule1)) -> rule5)) -> rule4))]
("Bob" "is" "nice" "+")
((((((((triple1) -> (rule6 % int4))) -> (rule3 % int3)) triple1) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((((triple1) -> (rule6 % int5))) -> (rule3 % int4)) triple1) -> (rule1 % int3)) ((((((((triple1) -> (rule6 % int5))) -> (rule3 % int4)) triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Dave is not smart.
False
9
inv-proof
[(((((((triple6 ((triple6) -> rule5)) -> rule4) ((((triple6) -> rule5)) -> rule2)) -> rule7)) -> rule6))]
("Dave" "is" "smart" "-")
((((((triple6 ((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple6) -> (rule5 % int5))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is white.
True
10
proof
[(((((((((triple6 ((triple6) -> rule5)) -> rule4) ((((triple6) -> rule5)) -> rule2)) -> rule7)) -> rule6)) -> rule3))]
("Dave" "is" "white" "+")
((((((((triple6 ((triple6) -> (rule5 % int6))) -> (rule4 % int5)) ((((triple6) -> (rule5 % int6))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
Dave is not white.
False
10
inv-proof
[(((((((((triple6 ((triple6) -> rule5)) -> rule4) ((((triple6) -> rule5)) -> rule2)) -> rule7)) -> rule6)) -> rule3))]
("Dave" "is" "white" "-")
((((((((triple6 ((triple6) -> (rule5 % int6))) -> (rule4 % int5)) ((((triple6) -> (rule5 % int6))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2 OR ((((((((triple1) -> rule6)) -> rule3) triple1) -> rule1)) -> rule5))] Charlie is nice.[(triple3 OR ((triple5 ((triple5) -> rule5)) -> rule4))] Charlie is quiet.[(triple4 OR ((((triple5) -> rule5)) -> rule2))] Charlie is rough.[(triple5 OR ((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule3) ((triple3 triple4) -> rule7)) -> rule1))] Dave is rough.[(triple6)] Erin is kind.[(triple7 OR ((triple8) -> rule5))] Erin is rough.[(triple8)] Erin is smart.[(triple9 OR ((((((triple8 triple7) -> rule4) ((triple7) -> rule2)) -> rule7)) -> rule6) OR ((((((triple8 triple7) -> rule4) ((((triple8) -> rule5)) -> rule2)) -> rule7)) -> rule6) OR ((((((triple8 ((triple8) -> rule5)) -> rule4) ((triple7) -> rule2)) -> rule7)) -> rule6) OR ((((((triple8 ((triple8) -> rule5)) -> rule4) ((((triple8) -> rule5)) -> rule2)) -> rule7)) -> rule6))] Erin is white.[(triple10 OR ((triple9) -> rule3) OR ((((((((triple8 triple7) -> rule4) ((triple7) -> rule2)) -> rule7)) -> rule6)) -> rule3) OR ((((((((triple8 triple7) -> rule4) ((((triple8) -> rule5)) -> rule2)) -> rule7)) -> rule6)) -> rule3) OR ((((((((triple8 ((triple8) -> rule5)) -> rule4) ((triple7) -> rule2)) -> rule7)) -> rule6)) -> rule3) OR ((((((((triple8 ((triple8) -> rule5)) -> rule4) ((((triple8) -> rule5)) -> rule2)) -> rule7)) -> rule6)) -> rule3))] @1: Bob is quiet.[(((triple2) -> rule2) OR ((((((((((triple1) -> rule6)) -> rule3) triple1) -> rule1)) -> rule5)) -> rule2))] Bob is smart.[(((triple1) -> rule6))] Charlie is cold.[(((triple3 triple4) -> rule7) OR ((triple3 ((((triple5) -> rule5)) -> rule2)) -> rule7) OR ((((triple5 ((triple5) -> rule5)) -> rule4) triple4) -> rule7) OR ((((triple5 ((triple5) -> rule5)) -> rule4) ((((triple5) -> rule5)) -> rule2)) -> rule7))] Charlie is kind.[(((triple5) -> rule5) OR ((((((((((triple3 triple4) -> rule7)) -> rule6)) -> rule3) ((triple3 triple4) -> rule7)) -> rule1)) -> rule5))] Dave is kind.[(((triple6) -> rule5))] Erin is nice.[(((triple8 triple7) -> rule4) OR ((triple8 ((triple8) -> rule5)) -> rule4))] Erin is quiet.[(((triple7) -> rule2) OR ((triple9) -> rule8) OR ((((triple8) -> rule5)) -> rule2))] @2: Bob is white.[(((((triple1) -> rule6)) -> rule3))] Charlie is smart.[(((((triple3 triple4) -> rule7)) -> rule6) OR ((((triple3 ((((triple5) -> rule5)) -> rule2)) -> rule7)) -> rule6) OR ((((((triple5 ((triple5) -> rule5)) -> rule4) triple4) -> rule7)) -> rule6) OR ((((((triple5 ((triple5) -> rule5)) -> rule4) ((((triple5) -> rule5)) -> rule2)) -> rule7)) -> rule6))] Dave is nice.[(((triple6 ((triple6) -> rule5)) -> rule4))] Dave is quiet.[(((((triple6) -> rule5)) -> rule2))] Erin is cold.[(((((triple8 triple7) -> rule4) ((triple7) -> rule2)) -> rule7) OR ((((triple8 triple7) -> rule4) ((triple9) -> rule8)) -> rule7) OR ((((triple8 triple7) -> rule4) ((((triple8) -> rule5)) -> rule2)) -> rule7) OR ((((triple8 ((triple8) -> rule5)) -> rule4) ((triple7) -> rule2)) -> rule7) OR ((((triple8 ((triple8) -> rule5)) -> rule4) ((triple9) -> rule8)) -> rule7) OR ((((triple8 ((triple8) -> rule5)) -> rule4) ((((triple8) -> rule5)) -> rule2)) -> rule7))] @3: Bob is rough.[(((((((triple1) -> rule6)) -> rule3) triple1) -> rule1))] Charlie is white.[(((((((triple3 triple4) -> rule7)) -> rule6)) -> rule3) OR ((((((triple3 ((((triple5) -> rule5)) -> rule2)) -> rule7)) -> rule6)) -> rule3) OR ((((((((triple5 ((triple5) -> rule5)) -> rule4) triple4) -> rule7)) -> rule6)) -> rule3) OR ((((((((triple5 ((triple5) -> rule5)) -> rule4) ((((triple5) -> rule5)) -> rule2)) -> rule7)) -> rule6)) -> rule3))] Dave is cold.[(((((triple6 ((triple6) -> rule5)) -> rule4) ((((triple6) -> rule5)) -> rule2)) -> rule7))] @4: Bob is nice.[(((((((((triple1) -> rule6)) -> rule3) triple1) -> rule1) triple2) -> rule4) OR ((((((((triple1) -> rule6)) -> rule3) triple1) -> rule1) ((((((((triple1) -> rule6)) -> rule3) triple1) -> rule1)) -> rule5)) -> rule4))] Dave is smart.[(((((((triple6 ((triple6) -> rule5)) -> rule4) ((((triple6) -> rule5)) -> rule2)) -> rule7)) -> rule6))] @5: Dave is white.[(((((((((triple6 ((triple6) -> rule5)) -> rule4) ((((triple6) -> rule5)) -> rule2)) -> rule7)) -> rule6)) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
((((((((triple1) -> (rule6 % int4))) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
((triple5 ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
((((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
((((((((triple3 triple4) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple3 triple4) -> (rule7 % int4))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
((triple8) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
((((((triple8 triple7) -> (rule4 % int4)) ((triple7) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple8 triple7) -> (rule4 % int5)) ((((triple8) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((triple8 ((triple8) -> (rule5 % int5))) -> (rule4 % int4)) ((triple7) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((triple8 ((triple8) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple8) -> (rule5 % int5))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
triple10
((triple9) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((((((triple8 triple7) -> (rule4 % int5)) ((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((((((triple8 triple7) -> (rule4 % int6)) ((((triple8) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((((triple8 ((triple8) -> (rule5 % int6))) -> (rule4 % int5)) ((triple7) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((((((triple8 ((triple8) -> (rule5 % int6))) -> (rule4 % int5)) ((((triple8) -> (rule5 % int6))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((((((((triple1) -> (rule6 % int5))) -> (rule3 % int4)) triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3 triple4) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple3 ((((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple5 ((triple5) -> (rule5 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple5 ((triple5) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple5) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((((((((triple3 triple4) -> (rule7 % int5))) -> (rule6 % int4))) -> (rule3 % int3)) ((triple3 triple4) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
((triple6) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple8 triple7) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple8 ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple7) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple9) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((((triple8) -> (rule5 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple3 triple4) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple3 ((((triple5) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple5 ((triple5) -> (rule5 % int4))) -> (rule4 % int3)) triple4) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple5 ((triple5) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple5) -> (rule5 % int5))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
((triple6 ((triple6) -> (rule5 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple6) -> (rule5 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
((((triple8 triple7) -> (rule4 % int3)) ((triple7) -> (rule2 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple8 triple7) -> (rule4 % int3)) ((triple9) -> (rule8 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple8 triple7) -> (rule4 % int4)) ((((triple8) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple8 ((triple8) -> (rule5 % int4))) -> (rule4 % int3)) ((triple7) -> (rule2 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple8 ((triple8) -> (rule5 % int4))) -> (rule4 % int3)) ((triple9) -> (rule8 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple8 ((triple8) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
((((((triple3 triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple3 ((((triple5) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple5 ((triple5) -> (rule5 % int5))) -> (rule4 % int4)) triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple5 ((triple5) -> (rule5 % int6))) -> (rule4 % int5)) ((((triple5) -> (rule5 % int6))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
int6
Dave is cold.
("Dave" "is" "cold" "+")
((((triple6 ((triple6) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple6) -> (rule5 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
((((((((triple1) -> (rule6 % int4))) -> (rule3 % int3)) triple1) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((((triple1) -> (rule6 % int5))) -> (rule3 % int4)) triple1) -> (rule1 % int3)) ((((((((triple1) -> (rule6 % int5))) -> (rule3 % int4)) triple1) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
((((((triple6 ((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple6) -> (rule5 % int5))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
((((((((triple6 ((triple6) -> (rule5 % int6))) -> (rule4 % int5)) ((((triple6) -> (rule5 % int6))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6