Bob is green. Bob is nice. Bob is round. Bob is smart. Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Fiona is cold. Fiona is green. Fiona is red. Fiona is rough. Fiona is smart. All smart things are nice. Cold, smart things are green. If something is rough then it is red. If something is green then it is round. If Charlie is red and Charlie is green then Charlie is cold. If Charlie is nice and Charlie is cold then Charlie is red. If something is round and nice then it is cold. If Bob is cold then Bob is rough.
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All smart things are nice.
((("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
Cold, smart things are green.
((("something" "is" "cold" "+") ("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
If something is rough then it is red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If Charlie is red and Charlie is green then Charlie is cold.
((("Charlie" "is" "red" "+") ("Charlie" "is" "green" "+")) -> ("Charlie" "is" "cold" "+"))
If Charlie is nice and Charlie is cold then Charlie is red.
((("Charlie" "is" "nice" "+") ("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "red" "+"))
If something is round and nice then it is cold.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If Bob is cold then Bob is rough.
((("Bob" "is" "cold" "+")) -> ("Bob" "is" "rough" "+"))
Charlie is green.
True
1
proof
[(triple6 OR ((triple5 triple11) -> rule2) OR ((((triple10 triple7) -> rule7) triple11) -> rule2) OR ((((triple10 ((triple11) -> rule1)) -> rule7) triple11) -> rule2))]
("Charlie" "is" "green" "+")
triple6
((triple5 triple11) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple10 triple7) -> (rule7 % int2)) triple11) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple10 ((triple11) -> (rule1 % int3))) -> (rule7 % int2)) triple11) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Bob is not nice.
False
1
inv-proof
[(triple2 OR ((triple4) -> rule1))]
("Bob" "is" "nice" "-")
triple2
((triple4) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
True
3
proof
[(((triple3 triple2) -> rule7) OR ((triple3 ((triple4) -> rule1)) -> rule7) OR ((((triple1) -> rule4) triple2) -> rule7) OR ((((triple1) -> rule4) ((triple4) -> rule1)) -> rule7))]
("Bob" "is" "cold" "+")
((triple3 triple2) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple3 ((triple4) -> (rule1 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple1) -> (rule4 % int2)) triple2) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple1) -> (rule4 % int3)) ((triple4) -> (rule1 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Fiona is not round.
False
2
inv-proof
[(((triple13) -> rule4) OR ((((triple12 triple16) -> rule2)) -> rule4))]
("Fiona" "is" "round" "-")
((triple13) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple12 triple16) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Bob is rough.
True
4
proof
[(((((triple3 triple2) -> rule7)) -> rule8) OR ((((triple3 ((triple4) -> rule1)) -> rule7)) -> rule8) OR ((((((triple1) -> rule4) triple2) -> rule7)) -> rule8) OR ((((((triple1) -> rule4) ((triple4) -> rule1)) -> rule7)) -> rule8))]
("Bob" "is" "rough" "+")
((((triple3 triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple3 ((triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple1) -> (rule4 % int3)) triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple1) -> (rule4 % int4)) ((triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is not rough.
False
4
inv-proof
[(((((triple3 triple2) -> rule7)) -> rule8) OR ((((triple3 ((triple4) -> rule1)) -> rule7)) -> rule8) OR ((((((triple1) -> rule4) triple2) -> rule7)) -> rule8) OR ((((((triple1) -> rule4) ((triple4) -> rule1)) -> rule7)) -> rule8))]
("Bob" "is" "rough" "-")
((((triple3 triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple3 ((triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple1) -> (rule4 % int3)) triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple1) -> (rule4 % int4)) ((triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is red.
True
5
proof
[(((((((triple3 triple2) -> rule7)) -> rule8)) -> rule3) OR ((((((triple3 ((triple4) -> rule1)) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule4) triple2) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule4) ((triple4) -> rule1)) -> rule7)) -> rule8)) -> rule3))]
("Bob" "is" "red" "+")
((((((triple3 triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple3 ((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple1) -> (rule4 % int5)) ((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is not red.
False
5
inv-proof
[(((((((triple3 triple2) -> rule7)) -> rule8)) -> rule3) OR ((((((triple3 ((triple4) -> rule1)) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule4) triple2) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule4) ((triple4) -> rule1)) -> rule7)) -> rule8)) -> rule3))]
("Bob" "is" "red" "-")
((((((triple3 triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple3 ((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple1) -> (rule4 % int5)) ((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
@0: Bob is green.[(triple1 OR ((((triple3 triple2) -> rule7) triple4) -> rule2) OR ((((triple3 ((triple4) -> rule1)) -> rule7) triple4) -> rule2))] Bob is nice.[(triple2 OR ((triple4) -> rule1))] Bob is round.[(triple3 OR ((triple1) -> rule4))] Bob is smart.[(triple4)] Charlie is cold.[(triple5 OR ((triple10 triple7) -> rule7) OR ((triple8 triple6) -> rule5) OR ((triple10 ((triple11) -> rule1)) -> rule7) OR ((((triple6) -> rule4) triple7) -> rule7) OR ((((triple9) -> rule3) triple6) -> rule5) OR ((((triple6) -> rule4) ((triple11) -> rule1)) -> rule7))] Charlie is green.[(triple6 OR ((triple5 triple11) -> rule2) OR ((((triple10 triple7) -> rule7) triple11) -> rule2) OR ((((triple10 ((triple11) -> rule1)) -> rule7) triple11) -> rule2))] Charlie is nice.[(triple7 OR ((triple11) -> rule1))] Charlie is red.[(triple8 OR ((triple9) -> rule3) OR ((triple7 triple5) -> rule6) OR ((triple7 ((triple10 triple7) -> rule7)) -> rule6) OR ((((triple11) -> rule1) triple5) -> rule6) OR ((((triple11) -> rule1) ((triple10 triple7) -> rule7)) -> rule6) OR ((triple7 ((triple10 ((triple11) -> rule1)) -> rule7)) -> rule6) OR ((triple7 ((((triple6) -> rule4) triple7) -> rule7)) -> rule6) OR ((triple7 ((((triple6) -> rule4) ((triple11) -> rule1)) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((triple10 ((triple11) -> rule1)) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((((triple6) -> rule4) triple7) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((((triple6) -> rule4) ((triple11) -> rule1)) -> rule7)) -> rule6))] Charlie is rough.[(triple9)] Charlie is round.[(triple10 OR ((triple6) -> rule4) OR ((((triple5 triple11) -> rule2)) -> rule4))] Charlie is smart.[(triple11)] Fiona is cold.[(triple12 OR ((((triple13) -> rule4) ((triple16) -> rule1)) -> rule7))] Fiona is green.[(triple13 OR ((triple12 triple16) -> rule2))] Fiona is red.[(triple14 OR ((triple15) -> rule3))] Fiona is rough.[(triple15)] Fiona is smart.[(triple16)] @1: Bob is cold.[(((triple3 triple2) -> rule7) OR ((triple3 ((triple4) -> rule1)) -> rule7) OR ((((triple1) -> rule4) triple2) -> rule7) OR ((((triple1) -> rule4) ((triple4) -> rule1)) -> rule7))] Fiona is nice.[(((triple16) -> rule1))] Fiona is round.[(((triple13) -> rule4) OR ((((triple12 triple16) -> rule2)) -> rule4))] @2: Bob is rough.[(((((triple3 triple2) -> rule7)) -> rule8) OR ((((triple3 ((triple4) -> rule1)) -> rule7)) -> rule8) OR ((((((triple1) -> rule4) triple2) -> rule7)) -> rule8) OR ((((((triple1) -> rule4) ((triple4) -> rule1)) -> rule7)) -> rule8))] @3: Bob is red.[(((((((triple3 triple2) -> rule7)) -> rule8)) -> rule3) OR ((((((triple3 ((triple4) -> rule1)) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule4) triple2) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule4) ((triple4) -> rule1)) -> rule7)) -> rule8)) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple1
((((triple3 triple2) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple3 ((triple4) -> (rule1 % int3))) -> (rule7 % int2)) triple4) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
((triple4) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple3
((triple1) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
((triple10 triple7) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple8 triple6) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple10 ((triple11) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple6) -> (rule4 % int2)) triple7) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple9) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple6) -> (rule4 % int3)) ((triple11) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
triple6
((triple5 triple11) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple10 triple7) -> (rule7 % int2)) triple11) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple10 ((triple11) -> (rule1 % int3))) -> (rule7 % int2)) triple11) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
((triple11) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple8
((triple9) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple7 triple5) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple7 ((triple10 triple7) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple11) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple11) -> (rule1 % int3)) ((triple10 triple7) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple7 ((triple10 ((triple11) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple7 ((((triple6) -> (rule4 % int3)) triple7) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple7 ((((triple6) -> (rule4 % int4)) ((triple11) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple11) -> (rule1 % int3)) ((triple10 ((triple11) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple11) -> (rule1 % int4)) ((((triple6) -> (rule4 % int3)) triple7) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((triple11) -> (rule1 % int4)) ((((triple6) -> (rule4 % int3)) ((triple11) -> (rule1 % int4))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple10
((triple6) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple5 triple11) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple11
Fiona is cold.
("Fiona" "is" "cold" "+")
triple12
((((triple13) -> (rule4 % int3)) ((triple16) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
triple13
((triple12 triple16) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple14
((triple15) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Fiona is smart.
("Fiona" "is" "smart" "+")
triple16
Bob is cold.
("Bob" "is" "cold" "+")
((triple3 triple2) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple3 ((triple4) -> (rule1 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple1) -> (rule4 % int2)) triple2) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple1) -> (rule4 % int3)) ((triple4) -> (rule1 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple16) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple13) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple12 triple16) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((((triple3 triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple3 ((triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple1) -> (rule4 % int3)) triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple1) -> (rule4 % int4)) ((triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
((((((triple3 triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple3 ((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((((triple1) -> (rule4 % int4)) triple2) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple1) -> (rule4 % int5)) ((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5