Bob is white. Charlie is green. Charlie is kind. Charlie is round. Charlie is white. Charlie is young. Fiona is green. Fiona is red. Fiona is round. Harry is green. Harry is round. Harry is white. Red people are smart. If someone is white then they are young. All young people are round. If someone is smart and white then they are kind. All red people are white. All smart, white people are round. If Bob is smart and Bob is white then Bob is young. Round people are red. If someone is green and smart then they are young.
Bob is white.
("Bob" "is" "white" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Red people are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
If someone is white then they are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
All young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is smart and white then they are kind.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
All red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
All smart, white people are round.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If Bob is smart and Bob is white then Bob is young.
((("Bob" "is" "smart" "+") ("Bob" "is" "white" "+")) -> ("Bob" "is" "young" "+"))
Round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is green and smart then they are young.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
Harry is white.
True
1
proof
[(triple12 OR ((((triple11) -> rule8)) -> rule5))]
("Harry" "is" "white" "+")
triple12
((((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not white.
False
1
inv-proof
[(triple12 OR ((((triple11) -> rule8)) -> rule5))]
("Harry" "is" "white" "-")
triple12
((((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Fiona is smart.
True
2
proof
[(((triple8) -> rule1) OR ((((triple9) -> rule8)) -> rule1))]
("Fiona" "is" "smart" "+")
((triple8) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple9) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not smart.
False
2
inv-proof
[(((triple8) -> rule1) OR ((((triple9) -> rule8)) -> rule1))]
("Fiona" "is" "smart" "-")
((triple8) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple9) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
True
5
proof
[(((((triple8) -> rule1) ((triple8) -> rule5)) -> rule4) OR ((((triple8) -> rule1) ((((triple9) -> rule8)) -> rule5)) -> rule4) OR ((((((triple9) -> rule8)) -> rule1) ((triple8) -> rule5)) -> rule4) OR ((((((triple9) -> rule8)) -> rule1) ((((triple9) -> rule8)) -> rule5)) -> rule4))]
("Fiona" "is" "kind" "+")
((((triple8) -> (rule1 % int3)) ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((triple8) -> (rule1 % int4)) ((((triple9) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple9) -> (rule8 % int4))) -> (rule1 % int3)) ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple9) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Harry is not smart.
False
3
inv-proof
[(((((triple11) -> rule8)) -> rule1) OR ((((((((triple12) -> rule2)) -> rule3)) -> rule8)) -> rule1))]
("Harry" "is" "smart" "-")
((((triple11) -> (rule8 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((((((triple12) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Bob is red.
True
4
proof
[(((((((triple1) -> rule2)) -> rule3)) -> rule8))]
("Bob" "is" "red" "+")
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Harry is not kind.
False
5
inv-proof
[(((((((triple11) -> rule8)) -> rule1) triple12) -> rule4) OR ((((((triple11) -> rule8)) -> rule1) ((((triple11) -> rule8)) -> rule5)) -> rule4) OR ((((((((((triple12) -> rule2)) -> rule3)) -> rule8)) -> rule1) triple12) -> rule4) OR ((((((((((triple12) -> rule2)) -> rule3)) -> rule8)) -> rule1) ((((triple11) -> rule8)) -> rule5)) -> rule4))]
("Harry" "is" "kind" "-")
((((((triple11) -> (rule8 % int3))) -> (rule1 % int2)) triple12) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple11) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((((((triple12) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) triple12) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((((((triple12) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
Bob is smart.
True
5
proof
[(((((((((triple1) -> rule2)) -> rule3)) -> rule8)) -> rule1))]
("Bob" "is" "smart" "+")
((((((((triple1) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is not smart.
False
5
inv-proof
[(((((((((triple1) -> rule2)) -> rule3)) -> rule8)) -> rule1))]
("Bob" "is" "smart" "-")
((((((((triple1) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
True
7
proof
[(((((((((((triple1) -> rule2)) -> rule3)) -> rule8)) -> rule1) triple1) -> rule4))]
("Bob" "is" "kind" "+")
((((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is not kind.
False
7
inv-proof
[(((((((((((triple1) -> rule2)) -> rule3)) -> rule8)) -> rule1) triple1) -> rule4))]
("Bob" "is" "kind" "-")
((((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
@0: Bob is white.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((((((triple4) -> rule8)) -> rule1) triple5) -> rule4) OR ((((((triple4) -> rule8)) -> rule1) ((((triple4) -> rule8)) -> rule5)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8)) -> rule1) triple5) -> rule4) OR ((((((triple4) -> rule8)) -> rule1) ((((((triple6) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8)) -> rule1) ((((triple4) -> rule8)) -> rule5)) -> rule4) OR ((((((((triple6) -> rule3)) -> rule8)) -> rule1) ((((((triple6) -> rule3)) -> rule8)) -> rule5)) -> rule4) OR ((((((((((triple5) -> rule2)) -> rule3)) -> rule8)) -> rule1) triple5) -> rule4) OR ((((((((((triple5) -> rule2)) -> rule3)) -> rule8)) -> rule1) ((((triple4) -> rule8)) -> rule5)) -> rule4) OR ((((((((((triple5) -> rule2)) -> rule3)) -> rule8)) -> rule1) ((((((triple6) -> rule3)) -> rule8)) -> rule5)) -> rule4))] Charlie is round.[(triple4 OR ((triple6) -> rule3) OR ((((triple5) -> rule2)) -> rule3))] Charlie is white.[(triple5 OR ((((triple4) -> rule8)) -> rule5) OR ((((((triple6) -> rule3)) -> rule8)) -> rule5))] Charlie is young.[(triple6 OR ((triple5) -> rule2) OR ((((((triple4) -> rule8)) -> rule5)) -> rule2) OR ((triple2 ((((triple4) -> rule8)) -> rule1)) -> rule9))] Fiona is green.[(triple7)] Fiona is red.[(triple8 OR ((triple9) -> rule8))] Fiona is round.[(triple9 OR ((((triple8) -> rule1) ((triple8) -> rule5)) -> rule6) OR ((((((triple8) -> rule5)) -> rule2)) -> rule3) OR ((((triple7 ((triple8) -> rule1)) -> rule9)) -> rule3))] Harry is green.[(triple10)] Harry is round.[(triple11 OR ((((triple12) -> rule2)) -> rule3))] Harry is white.[(triple12 OR ((((triple11) -> rule8)) -> rule5))] @1: Bob is young.[(((triple1) -> rule2))] Charlie is red.[(((triple4) -> rule8) OR ((((triple6) -> rule3)) -> rule8) OR ((((((triple5) -> rule2)) -> rule3)) -> rule8))] Fiona is smart.[(((triple8) -> rule1) OR ((((triple9) -> rule8)) -> rule1))] Fiona is white.[(((triple8) -> rule5) OR ((((triple9) -> rule8)) -> rule5))] Harry is red.[(((triple11) -> rule8) OR ((((((triple12) -> rule2)) -> rule3)) -> rule8))] Harry is young.[(((triple12) -> rule2) OR ((((((triple11) -> rule8)) -> rule5)) -> rule2) OR ((triple10 ((((triple11) -> rule8)) -> rule1)) -> rule9))] @2: Bob is round.[(((((triple1) -> rule2)) -> rule3))] Charlie is smart.[(((((triple4) -> rule8)) -> rule1) OR ((((((triple6) -> rule3)) -> rule8)) -> rule1) OR ((((((((triple5) -> rule2)) -> rule3)) -> rule8)) -> rule1))] Fiona is kind.[(((((triple8) -> rule1) ((triple8) -> rule5)) -> rule4) OR ((((triple8) -> rule1) ((((triple9) -> rule8)) -> rule5)) -> rule4) OR ((((((triple9) -> rule8)) -> rule1) ((triple8) -> rule5)) -> rule4) OR ((((((triple9) -> rule8)) -> rule1) ((((triple9) -> rule8)) -> rule5)) -> rule4))] Fiona is young.[(((((triple8) -> rule5)) -> rule2) OR ((triple7 ((triple8) -> rule1)) -> rule9) OR ((((((triple9) -> rule8)) -> rule5)) -> rule2) OR ((triple7 ((((triple9) -> rule8)) -> rule1)) -> rule9))] Harry is smart.[(((((triple11) -> rule8)) -> rule1) OR ((((((((triple12) -> rule2)) -> rule3)) -> rule8)) -> rule1))] @3: Bob is red.[(((((((triple1) -> rule2)) -> rule3)) -> rule8))] Harry is kind.[(((((((triple11) -> rule8)) -> rule1) triple12) -> rule4) OR ((((((triple11) -> rule8)) -> rule1) ((((triple11) -> rule8)) -> rule5)) -> rule4) OR ((((((((((triple12) -> rule2)) -> rule3)) -> rule8)) -> rule1) triple12) -> rule4) OR ((((((((((triple12) -> rule2)) -> rule3)) -> rule8)) -> rule1) ((((triple11) -> rule8)) -> rule5)) -> rule4))] @4: Bob is smart.[(((((((((triple1) -> rule2)) -> rule3)) -> rule8)) -> rule1))] @5: Bob is kind.[(((((((((((triple1) -> rule2)) -> rule3)) -> rule8)) -> rule1) triple1) -> rule4))]
Bob is white.
("Bob" "is" "white" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
((((((triple4) -> (rule8 % int3))) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple4) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((((triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple4) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule3 % int3))) -> (rule8 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((triple6) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((((((((triple5) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((((triple5) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is young.
("Charlie" "is" "young" "+")
int6
((((((((((triple5) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
Charlie is young.
("Charlie" "is" "young" "+")
int6
Charlie is round.
("Charlie" "is" "round" "+")
triple4
((triple6) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
triple5
((((triple4) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((((triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
triple6
((triple5) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((((triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((triple2 ((((triple4) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
((triple9) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple9
((((triple8) -> (rule1 % int3)) ((triple8) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple8) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((triple7 ((triple8) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
((((triple12) -> (rule2 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
triple12
((((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple4) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((((triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple8) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple9) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((triple8) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple9) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple11) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((((triple12) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((triple12) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((((triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple10 ((((triple11) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple4) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((((triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((((triple5) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple8) -> (rule1 % int3)) ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((triple8) -> (rule1 % int4)) ((((triple9) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple9) -> (rule8 % int4))) -> (rule1 % int3)) ((triple8) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple9) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
((((triple8) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((triple7 ((triple8) -> (rule1 % int2))) -> (rule9 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((((triple9) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((triple7 ((((triple9) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
((((triple11) -> (rule8 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((((((triple12) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((((((triple11) -> (rule8 % int3))) -> (rule1 % int2)) triple12) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple11) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((((((triple12) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) triple12) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((((((triple12) -> (rule2 % int6))) -> (rule3 % int5))) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple11) -> (rule8 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
Bob is smart.
("Bob" "is" "smart" "+")
((((((((triple1) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
((((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5