Bob is furry. Bob is quiet. Bob is rough. Bob is white. Dave is cold. Dave is rough. Dave is white. Dave is young. Erin is cold. Erin is furry. Erin is quiet. Erin is rough. Erin is white. Erin is young. Gary is rough. Gary is white. If something is smart and cold then it is young. If something is white then it is quiet. Smart things are cold. Young, quiet things are furry. All quiet things are smart. If something is furry and rough then it is young.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is smart and cold then it is young.
((("something" "is" "smart" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something is white then it is quiet.
((("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
Smart things are cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Young, quiet things are furry.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
All quiet things are smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
If something is furry and rough then it is young.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
Bob is furry.
True
1
proof
[(triple1 OR ((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule3)) -> rule1) triple2) -> rule4) OR ((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule3)) -> rule1) ((triple4) -> rule2)) -> rule4) OR ((((((((triple4) -> rule2)) -> rule5) ((((triple2) -> rule5)) -> rule3)) -> rule1) triple2) -> rule4) OR ((((((((triple4) -> rule2)) -> rule5) ((((triple2) -> rule5)) -> rule3)) -> rule1) ((triple4) -> rule2)) -> rule4) OR ((((((triple2) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule3)) -> rule1) triple2) -> rule4) OR ((((((triple2) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule3)) -> rule1) ((triple4) -> rule2)) -> rule4) OR ((((((((triple4) -> rule2)) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule3)) -> rule1) triple2) -> rule4) OR ((((((((triple4) -> rule2)) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule3)) -> rule1) ((triple4) -> rule2)) -> rule4))]
("Bob" "is" "furry" "+")
triple1
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple2) -> (rule5 % int5)) ((((triple2) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((triple4) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple4) -> (rule2 % int5))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple2) -> (rule5 % int5)) ((((((triple4) -> (rule2 % int4))) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple2) -> (rule5 % int5)) ((((((triple4) -> (rule2 % int4))) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple4) -> (rule2 % int4))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule5 % int4)) ((((((triple4) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule5 % int4)) ((((((triple4) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple4) -> (rule2 % int5))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Erin is not quiet.
False
1
inv-proof
[(triple11 OR ((triple13) -> rule2))]
("Erin" "is" "quiet" "-")
triple11
((triple13) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Bob is young.
True
3
proof
[(((triple1 triple3) -> rule6) OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple4) -> rule2)) -> rule5) ((((triple2) -> rule5)) -> rule3)) -> rule1) OR ((((triple2) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple4) -> rule2)) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule3)) -> rule1))]
("Bob" "is" "young" "+")
((triple1 triple3) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple2) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple4) -> (rule2 % int4))) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple2) -> (rule5 % int4)) ((((((triple4) -> (rule2 % int3))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule5 % int3)) ((((((triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Dave is not quiet.
False
2
inv-proof
[(((triple7) -> rule2))]
("Dave" "is" "quiet" "-")
((triple7) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Bob is cold.
True
3
proof
[(((((triple2) -> rule5)) -> rule3) OR ((((((triple4) -> rule2)) -> rule5)) -> rule3))]
("Bob" "is" "cold" "+")
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Gary is not smart.
False
3
inv-proof
[(((((triple16) -> rule2)) -> rule5))]
("Gary" "is" "smart" "-")
((((triple16) -> (rule2 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is cold.
True
4
proof
[(((((((triple16) -> rule2)) -> rule5)) -> rule3))]
("Gary" "is" "cold" "+")
((((((triple16) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is not cold.
False
4
inv-proof
[(((((((triple16) -> rule2)) -> rule5)) -> rule3))]
("Gary" "is" "cold" "-")
((((((triple16) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is young.
True
8
proof
[(((((((triple16) -> rule2)) -> rule5) ((((((triple16) -> rule2)) -> rule5)) -> rule3)) -> rule1))]
("Gary" "is" "young" "+")
((((((triple16) -> (rule2 % int4))) -> (rule5 % int3)) ((((((triple16) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is not young.
False
8
inv-proof
[(((((((triple16) -> rule2)) -> rule5) ((((((triple16) -> rule2)) -> rule5)) -> rule3)) -> rule1))]
("Gary" "is" "young" "-")
((((((triple16) -> (rule2 % int4))) -> (rule5 % int3)) ((((((triple16) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is furry.
True
11
proof
[(((((((((triple16) -> rule2)) -> rule5) ((((((triple16) -> rule2)) -> rule5)) -> rule3)) -> rule1) ((triple16) -> rule2)) -> rule4))]
("Gary" "is" "furry" "+")
((((((((triple16) -> (rule2 % int5))) -> (rule5 % int4)) ((((((triple16) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple16) -> (rule2 % int5))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is not furry.
False
11
inv-proof
[(((((((((triple16) -> rule2)) -> rule5) ((((((triple16) -> rule2)) -> rule5)) -> rule3)) -> rule1) ((triple16) -> rule2)) -> rule4))]
("Gary" "is" "furry" "-")
((((((((triple16) -> (rule2 % int5))) -> (rule5 % int4)) ((((((triple16) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple16) -> (rule2 % int5))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
@0: Bob is furry.[(triple1 OR ((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule3)) -> rule1) triple2) -> rule4) OR ((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule3)) -> rule1) ((triple4) -> rule2)) -> rule4) OR ((((((((triple4) -> rule2)) -> rule5) ((((triple2) -> rule5)) -> rule3)) -> rule1) triple2) -> rule4) OR ((((((((triple4) -> rule2)) -> rule5) ((((triple2) -> rule5)) -> rule3)) -> rule1) ((triple4) -> rule2)) -> rule4) OR ((((((triple2) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule3)) -> rule1) triple2) -> rule4) OR ((((((triple2) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule3)) -> rule1) ((triple4) -> rule2)) -> rule4) OR ((((((((triple4) -> rule2)) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule3)) -> rule1) triple2) -> rule4) OR ((((((((triple4) -> rule2)) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule3)) -> rule1) ((triple4) -> rule2)) -> rule4))] Bob is quiet.[(triple2 OR ((triple4) -> rule2))] Bob is rough.[(triple3)] Bob is white.[(triple4)] Dave is cold.[(triple5 OR ((((((triple7) -> rule2)) -> rule5)) -> rule3))] Dave is rough.[(triple6)] Dave is white.[(triple7)] Dave is young.[(triple8 OR ((((((triple7) -> rule2)) -> rule5) triple5) -> rule1) OR ((((((triple7) -> rule2)) -> rule5) ((((((triple7) -> rule2)) -> rule5)) -> rule3)) -> rule1))] Erin is cold.[(triple9 OR ((((triple11) -> rule5)) -> rule3) OR ((((((triple13) -> rule2)) -> rule5)) -> rule3))] Erin is furry.[(triple10 OR ((triple14 triple11) -> rule4) OR ((triple14 ((triple13) -> rule2)) -> rule4) OR ((((((triple11) -> rule5) triple9) -> rule1) triple11) -> rule4) OR ((((((triple11) -> rule5) triple9) -> rule1) ((triple13) -> rule2)) -> rule4) OR ((((((((triple13) -> rule2)) -> rule5) triple9) -> rule1) triple11) -> rule4) OR ((((((triple11) -> rule5) ((((triple11) -> rule5)) -> rule3)) -> rule1) triple11) -> rule4) OR ((((((((triple13) -> rule2)) -> rule5) triple9) -> rule1) ((triple13) -> rule2)) -> rule4) OR ((((((triple11) -> rule5) ((((triple11) -> rule5)) -> rule3)) -> rule1) ((triple13) -> rule2)) -> rule4) OR ((((((((triple13) -> rule2)) -> rule5) ((((triple11) -> rule5)) -> rule3)) -> rule1) triple11) -> rule4) OR ((((((((triple13) -> rule2)) -> rule5) ((((triple11) -> rule5)) -> rule3)) -> rule1) ((triple13) -> rule2)) -> rule4) OR ((((((triple11) -> rule5) ((((((triple13) -> rule2)) -> rule5)) -> rule3)) -> rule1) triple11) -> rule4) OR ((((((triple11) -> rule5) ((((((triple13) -> rule2)) -> rule5)) -> rule3)) -> rule1) ((triple13) -> rule2)) -> rule4) OR ((((((((triple13) -> rule2)) -> rule5) ((((((triple13) -> rule2)) -> rule5)) -> rule3)) -> rule1) triple11) -> rule4) OR ((((((((triple13) -> rule2)) -> rule5) ((((((triple13) -> rule2)) -> rule5)) -> rule3)) -> rule1) ((triple13) -> rule2)) -> rule4))] Erin is quiet.[(triple11 OR ((triple13) -> rule2))] Erin is rough.[(triple12)] Erin is white.[(triple13)] Erin is young.[(triple14 OR ((triple10 triple12) -> rule6) OR ((((triple11) -> rule5) triple9) -> rule1) OR ((((((triple13) -> rule2)) -> rule5) triple9) -> rule1) OR ((((triple11) -> rule5) ((((triple11) -> rule5)) -> rule3)) -> rule1) OR ((((((triple13) -> rule2)) -> rule5) ((((triple11) -> rule5)) -> rule3)) -> rule1) OR ((((triple11) -> rule5) ((((((triple13) -> rule2)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple13) -> rule2)) -> rule5) ((((((triple13) -> rule2)) -> rule5)) -> rule3)) -> rule1))] Gary is rough.[(triple15)] Gary is white.[(triple16)] @1: Bob is smart.[(((triple2) -> rule5) OR ((((triple4) -> rule2)) -> rule5))] Bob is young.[(((triple1 triple3) -> rule6) OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((triple4) -> rule2)) -> rule5) ((((triple2) -> rule5)) -> rule3)) -> rule1) OR ((((triple2) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule3)) -> rule1) OR ((((((triple4) -> rule2)) -> rule5) ((((((triple4) -> rule2)) -> rule5)) -> rule3)) -> rule1))] Dave is quiet.[(((triple7) -> rule2))] Erin is smart.[(((triple11) -> rule5) OR ((((triple13) -> rule2)) -> rule5))] Gary is quiet.[(((triple16) -> rule2))] @2: Bob is cold.[(((((triple2) -> rule5)) -> rule3) OR ((((((triple4) -> rule2)) -> rule5)) -> rule3))] Dave is furry.[(((triple8 ((triple7) -> rule2)) -> rule4) OR ((((((((triple7) -> rule2)) -> rule5) triple5) -> rule1) ((triple7) -> rule2)) -> rule4) OR ((((((((triple7) -> rule2)) -> rule5) ((((((triple7) -> rule2)) -> rule5)) -> rule3)) -> rule1) ((triple7) -> rule2)) -> rule4))] Dave is smart.[(((((triple7) -> rule2)) -> rule5))] Gary is smart.[(((((triple16) -> rule2)) -> rule5))] @3: Gary is cold.[(((((((triple16) -> rule2)) -> rule5)) -> rule3))] @4: Gary is young.[(((((((triple16) -> rule2)) -> rule5) ((((((triple16) -> rule2)) -> rule5)) -> rule3)) -> rule1))] @5: Gary is furry.[(((((((((triple16) -> rule2)) -> rule5) ((((((triple16) -> rule2)) -> rule5)) -> rule3)) -> rule1) ((triple16) -> rule2)) -> rule4))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
((((((triple2) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple2) -> (rule5 % int5)) ((((triple2) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((triple4) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule5 % int4)) ((((triple2) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple4) -> (rule2 % int5))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple2) -> (rule5 % int5)) ((((((triple4) -> (rule2 % int4))) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple2) -> (rule5 % int5)) ((((((triple4) -> (rule2 % int4))) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple4) -> (rule2 % int4))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule5 % int4)) ((((((triple4) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule5 % int4)) ((((((triple4) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple4) -> (rule2 % int5))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
((triple4) -> (rule2 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
((((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is white.
("Dave" "is" "white" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple8
((((((triple7) -> (rule2 % int3))) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
((((((triple7) -> (rule2 % int4))) -> (rule5 % int3)) ((((((triple7) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
triple9
((((triple11) -> (rule5 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((((triple13) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
triple10
((triple14 triple11) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple14 ((triple13) -> (rule2 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((((triple11) -> (rule5 % int3)) triple9) -> (rule1 % int2)) triple11) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple11) -> (rule5 % int4)) triple9) -> (rule1 % int3)) ((triple13) -> (rule2 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((((triple13) -> (rule2 % int4))) -> (rule5 % int3)) triple9) -> (rule1 % int2)) triple11) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple11) -> (rule5 % int4)) ((((triple11) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple11) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((((triple13) -> (rule2 % int4))) -> (rule5 % int3)) triple9) -> (rule1 % int2)) ((triple13) -> (rule2 % int4))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple11) -> (rule5 % int5)) ((((triple11) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule1 % int3)) ((triple13) -> (rule2 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((((triple13) -> (rule2 % int5))) -> (rule5 % int4)) ((((triple11) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple11) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((triple13) -> (rule2 % int5))) -> (rule5 % int4)) ((((triple11) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple13) -> (rule2 % int5))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple11) -> (rule5 % int5)) ((((((triple13) -> (rule2 % int4))) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule1 % int2)) triple11) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple11) -> (rule5 % int5)) ((((((triple13) -> (rule2 % int4))) -> (rule5 % int5))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple13) -> (rule2 % int4))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((((triple13) -> (rule2 % int5))) -> (rule5 % int4)) ((((((triple13) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) triple11) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((triple13) -> (rule2 % int5))) -> (rule5 % int4)) ((((((triple13) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple13) -> (rule2 % int5))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
((triple13) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple12
Erin is white.
("Erin" "is" "white" "+")
triple13
Erin is young.
("Erin" "is" "young" "+")
triple14
((triple10 triple12) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple11) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((((triple13) -> (rule2 % int3))) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple11) -> (rule5 % int3)) ((((triple11) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple13) -> (rule2 % int4))) -> (rule5 % int3)) ((((triple11) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple11) -> (rule5 % int4)) ((((((triple13) -> (rule2 % int3))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple13) -> (rule2 % int4))) -> (rule5 % int3)) ((((((triple13) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
Bob is smart.
("Bob" "is" "smart" "+")
((triple2) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple1 triple3) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple2) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple4) -> (rule2 % int4))) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple2) -> (rule5 % int4)) ((((((triple4) -> (rule2 % int3))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple4) -> (rule2 % int4))) -> (rule5 % int3)) ((((((triple4) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple7) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple11) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple13) -> (rule2 % int2))) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple16) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
((triple8 ((triple7) -> (rule2 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
((((((((triple7) -> (rule2 % int4))) -> (rule5 % int3)) triple5) -> (rule1 % int2)) ((triple7) -> (rule2 % int4))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
((((((((triple7) -> (rule2 % int5))) -> (rule5 % int4)) ((((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple7) -> (rule2 % int5))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
((((triple7) -> (rule2 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
((((triple16) -> (rule2 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((((triple16) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((((triple16) -> (rule2 % int4))) -> (rule5 % int3)) ((((((triple16) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
((((((((triple16) -> (rule2 % int5))) -> (rule5 % int4)) ((((((triple16) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2)) ((triple16) -> (rule2 % int5))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5