Bob is blue. Bob is cold. Bob is quiet. Bob is round. Bob is smart. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. If someone is round then they are smart. If someone is round and smart then they are blue. All white, kind people are cold. If someone is cold and white then they are kind. If Bob is blue and Bob is smart then Bob is white. If someone is quiet and white then they are round. All white people are blue. All white people are quiet.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is round then they are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
If someone is round and smart then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
All white, kind people are cold.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and white then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If Bob is blue and Bob is smart then Bob is white.
((("Bob" "is" "blue" "+") ("Bob" "is" "smart" "+")) -> ("Bob" "is" "white" "+"))
If someone is quiet and white then they are round.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All white people are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
All white people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Fiona is cold.
True
1
proof
[(triple7 OR ((triple12 triple8) -> rule3))]
("Fiona" "is" "cold" "+")
triple7
((triple12 triple8) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not round.
False
1
inv-proof
[(triple10 OR ((triple9 triple12) -> rule6) OR ((((triple12) -> rule8) triple12) -> rule6))]
("Fiona" "is" "round" "-")
triple10
((triple9 triple12) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple12) -> (rule8 % int2)) triple12) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Bob is white.
True
3
proof
[(((triple1 triple5) -> rule5) OR ((triple1 ((triple4) -> rule1)) -> rule5) OR ((((triple4 triple5) -> rule2) triple5) -> rule5) OR ((((triple4 triple5) -> rule2) ((triple4) -> rule1)) -> rule5) OR ((((triple4 ((triple4) -> rule1)) -> rule2) triple5) -> rule5) OR ((((triple4 ((triple4) -> rule1)) -> rule2) ((triple4) -> rule1)) -> rule5))]
("Bob" "is" "white" "+")
((triple1 triple5) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple1 ((triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple4 triple5) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple4 triple5) -> (rule2 % int3)) ((triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple4 ((triple4) -> (rule1 % int3))) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple4 ((triple4) -> (rule1 % int3))) -> (rule2 % int2)) ((triple4) -> (rule1 % int3))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is not white.
False
3
inv-proof
[(((triple1 triple5) -> rule5) OR ((triple1 ((triple4) -> rule1)) -> rule5) OR ((((triple4 triple5) -> rule2) triple5) -> rule5) OR ((((triple4 triple5) -> rule2) ((triple4) -> rule1)) -> rule5) OR ((((triple4 ((triple4) -> rule1)) -> rule2) triple5) -> rule5) OR ((((triple4 ((triple4) -> rule1)) -> rule2) ((triple4) -> rule1)) -> rule5))]
("Bob" "is" "white" "-")
((triple1 triple5) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple1 ((triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple4 triple5) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple4 triple5) -> (rule2 % int3)) ((triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple4 ((triple4) -> (rule1 % int3))) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple4 ((triple4) -> (rule1 % int3))) -> (rule2 % int2)) ((triple4) -> (rule1 % int3))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
True
5
proof
[(((triple2 ((triple1 triple5) -> rule5)) -> rule4) OR ((triple2 ((triple1 ((triple4) -> rule1)) -> rule5)) -> rule4) OR ((triple2 ((((triple4 triple5) -> rule2) triple5) -> rule5)) -> rule4) OR ((triple2 ((((triple4 triple5) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule4) OR ((triple2 ((((triple4 ((triple4) -> rule1)) -> rule2) triple5) -> rule5)) -> rule4) OR ((triple2 ((((triple4 ((triple4) -> rule1)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule4))]
("Bob" "is" "kind" "+")
((triple2 ((triple1 triple5) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple2 ((triple1 ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((triple2 ((((triple4 triple5) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple2 ((((triple4 triple5) -> (rule2 % int4)) ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((triple2 ((((triple4 ((triple4) -> (rule1 % int4))) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((triple2 ((((triple4 ((triple4) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is not kind.
False
5
inv-proof
[(((triple2 ((triple1 triple5) -> rule5)) -> rule4) OR ((triple2 ((triple1 ((triple4) -> rule1)) -> rule5)) -> rule4) OR ((triple2 ((((triple4 triple5) -> rule2) triple5) -> rule5)) -> rule4) OR ((triple2 ((((triple4 triple5) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule4) OR ((triple2 ((((triple4 ((triple4) -> rule1)) -> rule2) triple5) -> rule5)) -> rule4) OR ((triple2 ((((triple4 ((triple4) -> rule1)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule4))]
("Bob" "is" "kind" "-")
((triple2 ((triple1 triple5) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple2 ((triple1 ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((triple2 ((((triple4 triple5) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple2 ((((triple4 triple5) -> (rule2 % int4)) ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((triple2 ((((triple4 ((triple4) -> (rule1 % int4))) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((triple2 ((((triple4 ((triple4) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
@0: Bob is blue.[(triple1 OR ((triple4 triple5) -> rule2) OR ((triple4 ((triple4) -> rule1)) -> rule2))] Bob is cold.[(triple2)] Bob is quiet.[(triple3 OR ((((triple1 triple5) -> rule5)) -> rule8) OR ((((triple1 ((triple4) -> rule1)) -> rule5)) -> rule8) OR ((((((triple4 triple5) -> rule2) triple5) -> rule5)) -> rule8) OR ((((((triple4 triple5) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule8) OR ((((((triple4 ((triple4) -> rule1)) -> rule2) triple5) -> rule5)) -> rule8) OR ((((((triple4 ((triple4) -> rule1)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule8))] Bob is round.[(triple4 OR ((triple3 ((triple1 triple5) -> rule5)) -> rule6) OR ((((((triple1 triple5) -> rule5)) -> rule8) ((triple1 triple5) -> rule5)) -> rule6))] Bob is smart.[(triple5 OR ((triple4) -> rule1))] Fiona is blue.[(triple6 OR ((triple12) -> rule7) OR ((triple10 triple11) -> rule2) OR ((triple10 ((triple10) -> rule1)) -> rule2) OR ((((triple9 triple12) -> rule6) triple11) -> rule2) OR ((((triple9 triple12) -> rule6) ((triple10) -> rule1)) -> rule2) OR ((triple10 ((((triple9 triple12) -> rule6)) -> rule1)) -> rule2) OR ((((((triple12) -> rule8) triple12) -> rule6) triple11) -> rule2) OR ((((triple9 triple12) -> rule6) ((((triple9 triple12) -> rule6)) -> rule1)) -> rule2) OR ((((((triple12) -> rule8) triple12) -> rule6) ((triple10) -> rule1)) -> rule2) OR ((((((triple12) -> rule8) triple12) -> rule6) ((((triple9 triple12) -> rule6)) -> rule1)) -> rule2) OR ((triple10 ((((((triple12) -> rule8) triple12) -> rule6)) -> rule1)) -> rule2) OR ((((triple9 triple12) -> rule6) ((((((triple12) -> rule8) triple12) -> rule6)) -> rule1)) -> rule2) OR ((((((triple12) -> rule8) triple12) -> rule6) ((((((triple12) -> rule8) triple12) -> rule6)) -> rule1)) -> rule2))] Fiona is cold.[(triple7 OR ((triple12 triple8) -> rule3))] Fiona is kind.[(triple8 OR ((triple7 triple12) -> rule4))] Fiona is quiet.[(triple9 OR ((triple12) -> rule8))] Fiona is round.[(triple10 OR ((triple9 triple12) -> rule6) OR ((((triple12) -> rule8) triple12) -> rule6))] Fiona is smart.[(triple11 OR ((triple10) -> rule1) OR ((((triple9 triple12) -> rule6)) -> rule1) OR ((((((triple12) -> rule8) triple12) -> rule6)) -> rule1))] Fiona is white.[(triple12)] @1: Bob is white.[(((triple1 triple5) -> rule5) OR ((triple1 ((triple4) -> rule1)) -> rule5) OR ((((triple4 triple5) -> rule2) triple5) -> rule5) OR ((((triple4 triple5) -> rule2) ((triple4) -> rule1)) -> rule5) OR ((((triple4 ((triple4) -> rule1)) -> rule2) triple5) -> rule5) OR ((((triple4 ((triple4) -> rule1)) -> rule2) ((triple4) -> rule1)) -> rule5))] @2: Bob is kind.[(((triple2 ((triple1 triple5) -> rule5)) -> rule4) OR ((triple2 ((triple1 ((triple4) -> rule1)) -> rule5)) -> rule4) OR ((triple2 ((((triple4 triple5) -> rule2) triple5) -> rule5)) -> rule4) OR ((triple2 ((((triple4 triple5) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule4) OR ((triple2 ((((triple4 ((triple4) -> rule1)) -> rule2) triple5) -> rule5)) -> rule4) OR ((triple2 ((((triple4 ((triple4) -> rule1)) -> rule2) ((triple4) -> rule1)) -> rule5)) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple4 triple5) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple4 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
((((triple1 triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple1 ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple4 triple5) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((((triple4 triple5) -> (rule2 % int4)) ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple4 ((triple4) -> (rule1 % int4))) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple4 ((triple4) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
triple4
((triple3 ((triple1 triple5) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((((triple1 triple5) -> (rule5 % int3))) -> (rule8 % int2)) ((triple1 triple5) -> (rule5 % int3))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
triple5
((triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
((triple12) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple10 triple11) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple10 ((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple9 triple12) -> (rule6 % int2)) triple11) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple9 triple12) -> (rule6 % int3)) ((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((triple10 ((((triple9 triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple12) -> (rule8 % int3)) triple12) -> (rule6 % int2)) triple11) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((triple9 triple12) -> (rule6 % int3)) ((((triple9 triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple12) -> (rule8 % int4)) triple12) -> (rule6 % int3)) ((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((triple12) -> (rule8 % int4)) triple12) -> (rule6 % int3)) ((((triple9 triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((triple10 ((((((triple12) -> (rule8 % int4)) triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple9 triple12) -> (rule6 % int4)) ((((((triple12) -> (rule8 % int3)) triple12) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple12) -> (rule8 % int4)) triple12) -> (rule6 % int3)) ((((((triple12) -> (rule8 % int4)) triple12) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
((triple12 triple8) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
((triple7 triple12) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
((triple12) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple10
((triple9 triple12) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple12) -> (rule8 % int2)) triple12) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
((triple10) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple9 triple12) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((((triple12) -> (rule8 % int3)) triple12) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Bob is white.
("Bob" "is" "white" "+")
((triple1 triple5) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple1 ((triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple4 triple5) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple4 triple5) -> (rule2 % int3)) ((triple4) -> (rule1 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple4 ((triple4) -> (rule1 % int3))) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple4 ((triple4) -> (rule1 % int3))) -> (rule2 % int2)) ((triple4) -> (rule1 % int3))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
((triple2 ((triple1 triple5) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((triple2 ((triple1 ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((triple2 ((((triple4 triple5) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple2 ((((triple4 triple5) -> (rule2 % int4)) ((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((triple2 ((((triple4 ((triple4) -> (rule1 % int4))) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((triple2 ((((triple4 ((triple4) -> (rule1 % int4))) -> (rule2 % int3)) ((triple4) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4