Bob is rough. Dave is furry. Dave is rough. Erin is cold. Erin is furry. Erin is kind. Erin is not rough. Erin is round. Erin is smart. Harry is round. If something is kind then it is round. Smart, white things are round. If something is kind then it is round. If something is rough and furry then it is cold. If Bob is white then Bob is kind. Rough things are white. All cold, round things are smart. If something is rough then it is kind. If something is round then it is furry.
Bob is rough.
("Bob" "is" "rough" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is kind then it is round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Smart, white things are round.
((("something" "is" "smart" "+") ("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
If something is kind then it is round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If something is rough and furry then it is cold.
((("something" "is" "rough" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
If Bob is white then Bob is kind.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "kind" "+"))
Rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
All cold, round things are smart.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
If something is rough then it is kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is round then it is furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
Erin is smart.
True
1
proof
[(triple9 OR ((triple4 triple8) -> rule7) OR ((triple4 ((triple6) -> rule1)) -> rule7) OR ((triple4 ((triple6) -> rule3)) -> rule7))]
("Erin" "is" "smart" "+")
triple9
((triple4 triple8) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple4 ((triple6) -> (rule1 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((triple4 ((triple6) -> (rule3 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Bob is not rough.
False
1
inv-proof
[(triple1)]
("Bob" "is" "rough" "-")
triple1
Harry is furry.
True
2
proof
[(((triple10) -> rule9))]
("Harry" "is" "furry" "+")
((triple10) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Bob is not kind.
False
2
inv-proof
[(((triple1) -> rule8) OR ((((triple1) -> rule6)) -> rule5))]
("Bob" "is" "kind" "-")
((triple1) -> (rule8 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Dave is round.
True
3
proof
[(((((triple3) -> rule8)) -> rule1) OR ((((triple3) -> rule8)) -> rule3))]
("Dave" "is" "round" "+")
((((triple3) -> (rule8 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is not round.
False
3
inv-proof
[(((((triple3) -> rule8)) -> rule1) OR ((((triple3) -> rule8)) -> rule3))]
("Dave" "is" "round" "-")
((((triple3) -> (rule8 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Bob is furry.
True
4
proof
[(((((((triple1) -> rule8)) -> rule1)) -> rule9) OR ((((((triple1) -> rule8)) -> rule3)) -> rule9) OR ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9) OR ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9))]
("Bob" "is" "furry" "+")
((((((triple1) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple1) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((((triple1) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((((triple1) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Dave is not smart.
False
7
inv-proof
[(((((triple3 triple2) -> rule4) ((((triple3) -> rule8)) -> rule1)) -> rule7) OR ((((triple3 triple2) -> rule4) ((((triple3) -> rule8)) -> rule3)) -> rule7) OR ((((triple3 ((((((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule4) ((((triple3) -> rule8)) -> rule1)) -> rule7) OR ((((triple3 ((((((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule4) ((((triple3) -> rule8)) -> rule3)) -> rule7) OR ((((triple3 ((((((triple3) -> rule8)) -> rule3)) -> rule9)) -> rule4) ((((triple3) -> rule8)) -> rule1)) -> rule7) OR ((((triple3 ((((((triple3) -> rule8)) -> rule3)) -> rule9)) -> rule4) ((((triple3) -> rule8)) -> rule3)) -> rule7))]
("Dave" "is" "smart" "-")
((((triple3 triple2) -> (rule4 % int4)) ((((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple3 triple2) -> (rule4 % int4)) ((((triple3) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple3 ((((((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple3 ((((((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple3) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple3 ((((((triple3) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple3 ((((((triple3) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple3) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Bob is cold.
True
6
proof
[(((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule9)) -> rule4) OR ((triple1 ((((((triple1) -> rule8)) -> rule3)) -> rule9)) -> rule4) OR ((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9)) -> rule4) OR ((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9)) -> rule4))]
("Bob" "is" "cold" "+")
((triple1 ((((((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple1 ((((((triple1) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple1 ((((((((triple1) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((triple1 ((((((((triple1) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is not cold.
False
6
inv-proof
[(((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule9)) -> rule4) OR ((triple1 ((((((triple1) -> rule8)) -> rule3)) -> rule9)) -> rule4) OR ((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9)) -> rule4) OR ((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9)) -> rule4))]
("Bob" "is" "cold" "-")
((triple1 ((((((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple1 ((((((triple1) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple1 ((((((((triple1) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((triple1 ((((((((triple1) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is smart.
True
10
proof
[(((((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule1)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule3)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule1)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule3)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule3)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule3)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule1)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule1)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule7))]
("Bob" "is" "smart" "+")
((((triple1 ((((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple1 ((((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple1 ((((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple1 ((((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple1 ((((((triple1) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int2))) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple1 ((((((triple1) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int2))) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple1 ((((((triple1) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int2))) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple1 ((((((triple1) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int2))) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
Bob is not smart.
False
10
inv-proof
[(((((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule1)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule3)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule1)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule3)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule3)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule3)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule1)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule1)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule7))]
("Bob" "is" "smart" "-")
((((triple1 ((((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple1 ((((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple1 ((((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple1 ((((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple1 ((((((triple1) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int2))) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple1 ((((((triple1) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int2))) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple1 ((((((triple1) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int2))) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple1 ((((((triple1) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int2))) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "kind" "-")
Erin is white.
Unknown
rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "white" "+")
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "white" "-")
Harry is smart.
Unknown
rconc
[@2: Harry is smart.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Harry" "is" "smart" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Bob is rough.[(triple1)] Dave is furry.[(triple2 OR ((((((triple3) -> rule8)) -> rule1)) -> rule9) OR ((((((triple3) -> rule8)) -> rule3)) -> rule9))] Dave is rough.[(triple3)] Erin is cold.[(triple4)] Erin is furry.[(triple5 OR ((triple8) -> rule9) OR ((((triple6) -> rule1)) -> rule9) OR ((((triple6) -> rule3)) -> rule9))] Erin is kind.[(triple6)] Erin is not rough.[(triple7)] Erin is round.[(triple8 OR ((triple6) -> rule1) OR ((triple6) -> rule3))] Erin is smart.[(triple9 OR ((triple4 triple8) -> rule7) OR ((triple4 ((triple6) -> rule1)) -> rule7) OR ((triple4 ((triple6) -> rule3)) -> rule7))] Harry is round.[(triple10)] @1: Bob is kind.[(((triple1) -> rule8) OR ((((triple1) -> rule6)) -> rule5))] Bob is white.[(((triple1) -> rule6))] Dave is cold.[(((triple3 triple2) -> rule4) OR ((triple3 ((((((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule4) OR ((triple3 ((((((triple3) -> rule8)) -> rule3)) -> rule9)) -> rule4))] Dave is kind.[(((triple3) -> rule8))] Dave is white.[(((triple3) -> rule6))] Harry is furry.[(((triple10) -> rule9))] @2: Bob is round.[(((((triple1) -> rule8)) -> rule1) OR ((((triple1) -> rule8)) -> rule3) OR ((((((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((((triple1) -> rule6)) -> rule5)) -> rule3))] Dave is round.[(((((triple3) -> rule8)) -> rule1) OR ((((triple3) -> rule8)) -> rule3))] @3: Bob is furry.[(((((((triple1) -> rule8)) -> rule1)) -> rule9) OR ((((((triple1) -> rule8)) -> rule3)) -> rule9) OR ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9) OR ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9))] Dave is smart.[(((((triple3 triple2) -> rule4) ((((triple3) -> rule8)) -> rule1)) -> rule7) OR ((((triple3 triple2) -> rule4) ((((triple3) -> rule8)) -> rule3)) -> rule7) OR ((((triple3 ((((((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule4) ((((triple3) -> rule8)) -> rule1)) -> rule7) OR ((((triple3 ((((((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule4) ((((triple3) -> rule8)) -> rule3)) -> rule7) OR ((((triple3 ((((((triple3) -> rule8)) -> rule3)) -> rule9)) -> rule4) ((((triple3) -> rule8)) -> rule1)) -> rule7) OR ((((triple3 ((((((triple3) -> rule8)) -> rule3)) -> rule9)) -> rule4) ((((triple3) -> rule8)) -> rule3)) -> rule7))] @4: Bob is cold.[(((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule9)) -> rule4) OR ((triple1 ((((((triple1) -> rule8)) -> rule3)) -> rule9)) -> rule4) OR ((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9)) -> rule4) OR ((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9)) -> rule4))] @5: Bob is smart.[(((((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule1)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule3)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule1)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule3)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule1)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule3)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((triple1 ((((((triple1) -> rule8)) -> rule3)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule1)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule1)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9)) -> rule4) ((((triple1) -> rule8)) -> rule3)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule7) OR ((((triple1 ((((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule9)) -> rule4) ((((((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule7))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
((((((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple3) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
((triple8) -> (rule9 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule9 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple6) -> (rule3 % int2))) -> (rule9 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is not rough.
("Erin" "is" "rough" "-")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple8
((triple6) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple6) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple9
((triple4 triple8) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple4 ((triple6) -> (rule1 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((triple4 ((triple6) -> (rule3 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
triple10
Bob is kind.
("Bob" "is" "kind" "+")
((triple1) -> (rule8 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple3 triple2) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((triple3 ((((((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((triple3 ((((((triple3) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
((triple3) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple3) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple10) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple1) -> (rule8 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple1) -> (rule8 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((((triple1) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
((((triple3) -> (rule8 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
((((((triple1) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple1) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((((triple1) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((((triple1) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
((((triple3 triple2) -> (rule4 % int4)) ((((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple3 triple2) -> (rule4 % int4)) ((((triple3) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple3 ((((((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple3 ((((((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple3) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple3 ((((((triple3) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple3 ((((((triple3) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple3) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
((triple1 ((((((triple1) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple1 ((((((triple1) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple1 ((((((((triple1) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((triple1 ((((((((triple1) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
((((triple1 ((((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple1 ((((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple1 ((((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple1 ((((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple1 ((((((triple1) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int2))) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple1 ((((((triple1) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int2))) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple1 ((((((triple1) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int2))) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple1 ((((((triple1) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule6 % int2))) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((triple1) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((triple1 ((((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule4 % int2)) ((((((triple1) -> (rule6 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6