Bob is big. Bob is cold. Bob is kind. Bob is round. Bob is white. Fiona is big. Fiona is cold. Fiona is white. Harry is big. Harry is cold. Harry is kind. Harry is red. Harry is round. Harry is white. Harry is young. All cold, red people are round. All young, red people are big. White, big people are kind. Kind, big people are young. Cold, kind people are big. If Bob is cold then Bob is young. All round people are young. Young people are red.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All cold, red people are round.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
All young, red people are big.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
White, big people are kind.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Kind, big people are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Cold, kind people are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If Bob is cold then Bob is young.
((("Bob" "is" "cold" "+")) -> ("Bob" "is" "young" "+"))
All round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Harry is big.
True
1
proof
[(triple9 OR ((triple10 triple11) -> rule5) OR ((triple15 triple12) -> rule2) OR ((triple15 ((triple15) -> rule8)) -> rule2) OR ((((triple13) -> rule7) triple12) -> rule2) OR ((((triple13) -> rule7) ((triple15) -> rule8)) -> rule2) OR ((triple15 ((((triple13) -> rule7)) -> rule8)) -> rule2) OR ((((((triple10 triple12) -> rule1)) -> rule7) triple12) -> rule2) OR ((((triple13) -> rule7) ((((triple13) -> rule7)) -> rule8)) -> rule2) OR ((((((triple10 triple12) -> rule1)) -> rule7) ((triple15) -> rule8)) -> rule2) OR ((((((triple10 triple12) -> rule1)) -> rule7) ((((triple13) -> rule7)) -> rule8)) -> rule2))]
("Harry" "is" "big" "+")
triple9
((triple10 triple11) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple15 triple12) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple15 ((triple15) -> (rule8 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple13) -> (rule7 % int2)) triple12) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple13) -> (rule7 % int3)) ((triple15) -> (rule8 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple15 ((((triple13) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple10 triple12) -> (rule1 % int3))) -> (rule7 % int2)) triple12) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple13) -> (rule7 % int3)) ((((triple13) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple10 triple12) -> (rule1 % int4))) -> (rule7 % int3)) ((triple15) -> (rule8 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple10 triple12) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple13) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Fiona is not cold.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "cold" "-")
triple7
Bob is young.
True
2
proof
[(((triple2) -> rule6) OR ((triple4) -> rule7) OR ((triple3 triple1) -> rule4) OR ((triple3 ((triple2 triple3) -> rule5)) -> rule4) OR ((((triple5 triple1) -> rule3) triple1) -> rule4) OR ((((triple5 triple1) -> rule3) ((triple2 triple3) -> rule5)) -> rule4))]
("Bob" "is" "young" "+")
((triple2) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple4) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple3 triple1) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple3 ((triple2 triple3) -> (rule5 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple5 triple1) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple5 triple1) -> (rule3 % int3)) ((triple2 triple3) -> (rule5 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Fiona is not kind.
False
3
inv-proof
[(((triple8 triple6) -> rule3))]
("Fiona" "is" "kind" "-")
((triple8 triple6) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
@0: Bob is big.[(triple1 OR ((triple2 triple3) -> rule5) OR ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule8)) -> rule2) OR ((((triple2) -> rule6) ((((triple4) -> rule7)) -> rule8)) -> rule2) OR ((((triple4) -> rule7) ((((triple2) -> rule6)) -> rule8)) -> rule2) OR ((((triple4) -> rule7) ((((triple4) -> rule7)) -> rule8)) -> rule2))] Bob is cold.[(triple2)] Bob is kind.[(triple3 OR ((triple5 triple1) -> rule3) OR ((triple5 ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule8)) -> rule2)) -> rule3) OR ((triple5 ((((triple2) -> rule6) ((((triple4) -> rule7)) -> rule8)) -> rule2)) -> rule3) OR ((triple5 ((((triple4) -> rule7) ((((triple2) -> rule6)) -> rule8)) -> rule2)) -> rule3) OR ((triple5 ((((triple4) -> rule7) ((((triple4) -> rule7)) -> rule8)) -> rule2)) -> rule3))] Bob is round.[(triple4 OR ((triple2 ((((triple2) -> rule6)) -> rule8)) -> rule1) OR ((triple2 ((((triple3 triple1) -> rule4)) -> rule8)) -> rule1) OR ((triple2 ((((triple3 ((triple2 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1) OR ((triple2 ((((((triple5 triple1) -> rule3) triple1) -> rule4)) -> rule8)) -> rule1) OR ((triple2 ((((((triple5 triple1) -> rule3) ((triple2 triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1))] Bob is white.[(triple5)] Fiona is big.[(triple6)] Fiona is cold.[(triple7)] Fiona is white.[(triple8)] Harry is big.[(triple9 OR ((triple10 triple11) -> rule5) OR ((triple15 triple12) -> rule2) OR ((triple15 ((triple15) -> rule8)) -> rule2) OR ((((triple13) -> rule7) triple12) -> rule2) OR ((((triple13) -> rule7) ((triple15) -> rule8)) -> rule2) OR ((triple15 ((((triple13) -> rule7)) -> rule8)) -> rule2) OR ((((((triple10 triple12) -> rule1)) -> rule7) triple12) -> rule2) OR ((((triple13) -> rule7) ((((triple13) -> rule7)) -> rule8)) -> rule2) OR ((((((triple10 triple12) -> rule1)) -> rule7) ((triple15) -> rule8)) -> rule2) OR ((((((triple10 triple12) -> rule1)) -> rule7) ((((triple13) -> rule7)) -> rule8)) -> rule2))] Harry is cold.[(triple10)] Harry is kind.[(triple11 OR ((triple14 triple9) -> rule3) OR ((triple14 ((triple15 triple12) -> rule2)) -> rule3) OR ((triple14 ((triple15 ((triple15) -> rule8)) -> rule2)) -> rule3) OR ((triple14 ((((triple13) -> rule7) triple12) -> rule2)) -> rule3) OR ((triple14 ((((triple13) -> rule7) ((triple15) -> rule8)) -> rule2)) -> rule3) OR ((triple14 ((triple15 ((((triple13) -> rule7)) -> rule8)) -> rule2)) -> rule3) OR ((triple14 ((((((triple10 triple12) -> rule1)) -> rule7) triple12) -> rule2)) -> rule3) OR ((triple14 ((((triple13) -> rule7) ((((triple13) -> rule7)) -> rule8)) -> rule2)) -> rule3) OR ((triple14 ((((((triple10 triple12) -> rule1)) -> rule7) ((triple15) -> rule8)) -> rule2)) -> rule3) OR ((triple14 ((((((triple10 triple12) -> rule1)) -> rule7) ((((triple13) -> rule7)) -> rule8)) -> rule2)) -> rule3))] Harry is red.[(triple12 OR ((triple15) -> rule8) OR ((((triple13) -> rule7)) -> rule8) OR ((((triple11 triple9) -> rule4)) -> rule8) OR ((((triple11 ((triple10 triple11) -> rule5)) -> rule4)) -> rule8) OR ((((((triple14 triple9) -> rule3) triple9) -> rule4)) -> rule8) OR ((((((triple14 triple9) -> rule3) ((triple10 triple11) -> rule5)) -> rule4)) -> rule8))] Harry is round.[(triple13 OR ((triple10 triple12) -> rule1) OR ((triple10 ((triple15) -> rule8)) -> rule1) OR ((triple10 ((((triple11 triple9) -> rule4)) -> rule8)) -> rule1) OR ((triple10 ((((triple11 ((triple10 triple11) -> rule5)) -> rule4)) -> rule8)) -> rule1) OR ((triple10 ((((((triple14 triple9) -> rule3) triple9) -> rule4)) -> rule8)) -> rule1) OR ((triple10 ((((((triple14 triple9) -> rule3) ((triple10 triple11) -> rule5)) -> rule4)) -> rule8)) -> rule1))] Harry is white.[(triple14)] Harry is young.[(triple15 OR ((triple13) -> rule7) OR ((triple11 triple9) -> rule4) OR ((((triple10 triple12) -> rule1)) -> rule7) OR ((triple11 ((triple10 triple11) -> rule5)) -> rule4) OR ((((triple14 triple9) -> rule3) triple9) -> rule4) OR ((((triple14 triple9) -> rule3) ((triple10 triple11) -> rule5)) -> rule4))] @1: Bob is young.[(((triple2) -> rule6) OR ((triple4) -> rule7) OR ((triple3 triple1) -> rule4) OR ((triple3 ((triple2 triple3) -> rule5)) -> rule4) OR ((((triple5 triple1) -> rule3) triple1) -> rule4) OR ((((triple5 triple1) -> rule3) ((triple2 triple3) -> rule5)) -> rule4))] Fiona is kind.[(((triple8 triple6) -> rule3))] @2: Bob is red.[(((((triple2) -> rule6)) -> rule8) OR ((((triple4) -> rule7)) -> rule8) OR ((((triple3 triple1) -> rule4)) -> rule8) OR ((((triple3 ((triple2 triple3) -> rule5)) -> rule4)) -> rule8) OR ((((((triple5 triple1) -> rule3) triple1) -> rule4)) -> rule8) OR ((((((triple5 triple1) -> rule3) ((triple2 triple3) -> rule5)) -> rule4)) -> rule8))] Fiona is young.[(((((triple8 triple6) -> rule3) triple6) -> rule4))] @3: Fiona is red.[(((((((triple8 triple6) -> rule3) triple6) -> rule4)) -> rule8))] @4: Fiona is round.[(((triple7 ((((((triple8 triple6) -> rule3) triple6) -> rule4)) -> rule8)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple2 triple3) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple2) -> (rule6 % int3)) ((((triple2) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple2) -> (rule6 % int3)) ((((triple4) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple4) -> (rule7 % int3)) ((((triple2) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple4) -> (rule7 % int3)) ((((triple4) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple5 triple1) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple5 ((((triple2) -> (rule6 % int4)) ((((triple2) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple5 ((((triple2) -> (rule6 % int4)) ((((triple4) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple5 ((((triple4) -> (rule7 % int4)) ((((triple2) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple5 ((((triple4) -> (rule7 % int4)) ((((triple4) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
triple4
((triple2 ((((triple2) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple2 ((((triple3 triple1) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple2 ((((triple3 ((triple2 triple3) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((triple2 ((((((triple5 triple1) -> (rule3 % int4)) triple1) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple2 ((((((triple5 triple1) -> (rule3 % int5)) ((triple2 triple3) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
((triple10 triple11) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple15 triple12) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple15 ((triple15) -> (rule8 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple13) -> (rule7 % int2)) triple12) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple13) -> (rule7 % int3)) ((triple15) -> (rule8 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple15 ((((triple13) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple10 triple12) -> (rule1 % int3))) -> (rule7 % int2)) triple12) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple13) -> (rule7 % int3)) ((((triple13) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple10 triple12) -> (rule1 % int4))) -> (rule7 % int3)) ((triple15) -> (rule8 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple10 triple12) -> (rule1 % int4))) -> (rule7 % int3)) ((((triple13) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
((triple14 triple9) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple14 ((triple15 triple12) -> (rule2 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((triple14 ((triple15 ((triple15) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple14 ((((triple13) -> (rule7 % int3)) triple12) -> (rule2 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple14 ((((triple13) -> (rule7 % int4)) ((triple15) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple14 ((triple15 ((((triple13) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple14 ((((((triple10 triple12) -> (rule1 % int4))) -> (rule7 % int3)) triple12) -> (rule2 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((triple14 ((((triple13) -> (rule7 % int4)) ((((triple13) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple14 ((((((triple10 triple12) -> (rule1 % int5))) -> (rule7 % int4)) ((triple15) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((triple14 ((((((triple10 triple12) -> (rule1 % int5))) -> (rule7 % int4)) ((((triple13) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
triple12
((triple15) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple13) -> (rule7 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple11 triple9) -> (rule4 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple11 ((triple10 triple11) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple14 triple9) -> (rule3 % int3)) triple9) -> (rule4 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple14 triple9) -> (rule3 % int4)) ((triple10 triple11) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
triple13
((triple10 triple12) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple10 ((triple15) -> (rule8 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple10 ((((triple11 triple9) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple10 ((((triple11 ((triple10 triple11) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple10 ((((((triple14 triple9) -> (rule3 % int4)) triple9) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((triple10 ((((((triple14 triple9) -> (rule3 % int5)) ((triple10 triple11) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is white.
("Harry" "is" "white" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
((triple13) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple11 triple9) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((triple10 triple12) -> (rule1 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple11 ((triple10 triple11) -> (rule5 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple14 triple9) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple14 triple9) -> (rule3 % int3)) ((triple10 triple11) -> (rule5 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((triple2) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple4) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple3 triple1) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple3 ((triple2 triple3) -> (rule5 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple5 triple1) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple5 triple1) -> (rule3 % int3)) ((triple2 triple3) -> (rule5 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple8 triple6) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((((triple2) -> (rule6 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple4) -> (rule7 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple3 triple1) -> (rule4 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple3 ((triple2 triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple5 triple1) -> (rule3 % int3)) triple1) -> (rule4 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple5 triple1) -> (rule3 % int4)) ((triple2 triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
((((triple8 triple6) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((((triple8 triple6) -> (rule3 % int3)) triple6) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((triple7 ((((((triple8 triple6) -> (rule3 % int4)) triple6) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4