Bob is blue. Bob is furry. Bob is smart. Fiona is furry. Fiona is kind. Fiona is smart. Gary is big. Gary is green. Harry is green. Harry is kind. All furry people are kind. Smart people are big. Blue people are green. Kind people are young. Green people are smart. If someone is young then they are blue. All blue, smart people are kind. All smart people are furry. All young people are green.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
All furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
Smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
Blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Green people are smart.
((("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If someone is young then they are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
All blue, smart people are kind.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
All smart people are furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
All young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Harry is kind.
True
1
proof
[(triple10 OR ((((((triple9) -> rule5)) -> rule8)) -> rule1))]
("Harry" "is" "kind" "+")
triple10
((((((triple9) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Fiona is not smart.
False
1
inv-proof
[(triple6 OR ((((((triple5) -> rule4)) -> rule9)) -> rule5) OR ((((((((triple4) -> rule1)) -> rule4)) -> rule9)) -> rule5) OR ((((((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((((((((triple4) -> rule1)) -> rule4)) -> rule6)) -> rule3)) -> rule5))]
("Fiona" "is" "smart" "-")
triple6
((((((triple5) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((((triple4) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((((((triple4) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is big.
True
2
proof
[(((triple6) -> rule2) OR ((((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule4)) -> rule9)) -> rule5)) -> rule2) OR ((((((((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((((((((triple4) -> rule1)) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule2))]
("Fiona" "is" "big" "+")
((triple6) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((((((triple5) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((((((triple4) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((((((triple5) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((((((((triple4) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is kind.
("Fiona" "is" "kind" "+")
int6
Harry is not young.
False
2
inv-proof
[(((triple10) -> rule4) OR ((((((((triple9) -> rule5)) -> rule8)) -> rule1)) -> rule4))]
("Harry" "is" "young" "-")
((triple10) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((((((triple9) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is big.
True
3
proof
[(((((triple9) -> rule5)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule9)) -> rule5)) -> rule2) OR ((((((((((triple10) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule2))]
("Harry" "is" "big" "+")
((((triple9) -> (rule5 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((((triple10) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((((((triple10) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Gary is not furry.
False
3
inv-proof
[(((((triple8) -> rule5)) -> rule8))]
("Gary" "is" "furry" "-")
((((triple8) -> (rule5 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is kind.
True
4
proof
[(((((((triple8) -> rule5)) -> rule8)) -> rule1))]
("Gary" "is" "kind" "+")
((((((triple8) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is not kind.
False
4
inv-proof
[(((((((triple8) -> rule5)) -> rule8)) -> rule1))]
("Gary" "is" "kind" "-")
((((((triple8) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is young.
True
5
proof
[(((((((((triple8) -> rule5)) -> rule8)) -> rule1)) -> rule4))]
("Gary" "is" "young" "+")
((((((((triple8) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is not young.
False
5
inv-proof
[(((((((((triple8) -> rule5)) -> rule8)) -> rule1)) -> rule4))]
("Gary" "is" "young" "-")
((((((((triple8) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is blue.
True
6
proof
[(((((((((((triple8) -> rule5)) -> rule8)) -> rule1)) -> rule4)) -> rule6))]
("Gary" "is" "blue" "+")
((((((((((triple8) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is not blue.
False
6
inv-proof
[(((((((((((triple8) -> rule5)) -> rule8)) -> rule1)) -> rule4)) -> rule6))]
("Gary" "is" "blue" "-")
((((((((((triple8) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
@0: Bob is blue.[(triple1 OR ((((((triple2) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple3) -> rule8)) -> rule1)) -> rule4)) -> rule6))] Bob is furry.[(triple2 OR ((triple3) -> rule8) OR ((((((triple1) -> rule3)) -> rule5)) -> rule8))] Bob is smart.[(triple3 OR ((((triple1) -> rule3)) -> rule5) OR ((((((((triple2) -> rule1)) -> rule4)) -> rule9)) -> rule5) OR ((((((((((triple2) -> rule1)) -> rule4)) -> rule6)) -> rule3)) -> rule5))] Fiona is furry.[(triple4 OR ((triple6) -> rule8) OR ((((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule8) OR ((((((((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule8))] Fiona is kind.[(triple5 OR ((triple4) -> rule1) OR ((((triple6) -> rule8)) -> rule1))] Fiona is smart.[(triple6 OR ((((((triple5) -> rule4)) -> rule9)) -> rule5) OR ((((((((triple4) -> rule1)) -> rule4)) -> rule9)) -> rule5) OR ((((((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((((((((triple4) -> rule1)) -> rule4)) -> rule6)) -> rule3)) -> rule5))] Gary is big.[(triple7 OR ((((triple8) -> rule5)) -> rule2))] Gary is green.[(triple8)] Harry is green.[(triple9 OR ((((triple10) -> rule4)) -> rule9) OR ((((((triple10) -> rule4)) -> rule6)) -> rule3))] Harry is kind.[(triple10 OR ((((((triple9) -> rule5)) -> rule8)) -> rule1))] @1: Bob is big.[(((triple3) -> rule2) OR ((((((triple1) -> rule3)) -> rule5)) -> rule2) OR ((((((((((triple2) -> rule1)) -> rule4)) -> rule9)) -> rule5)) -> rule2) OR ((((((((((((triple2) -> rule1)) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule2))] Bob is green.[(((triple1) -> rule3) OR ((((((triple2) -> rule1)) -> rule4)) -> rule9) OR ((((((triple1 triple3) -> rule7)) -> rule4)) -> rule9) OR ((((((((triple2) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule1)) -> rule4)) -> rule9) OR ((((((((((triple3) -> rule8)) -> rule1)) -> rule4)) -> rule6)) -> rule3))] Bob is kind.[(((triple2) -> rule1) OR ((triple1 triple3) -> rule7) OR ((((triple3) -> rule8)) -> rule1) OR ((triple1 ((((triple1) -> rule3)) -> rule5)) -> rule7) OR ((((((((triple1) -> rule3)) -> rule5)) -> rule8)) -> rule1))] Fiona is big.[(((triple6) -> rule2) OR ((((((((triple5) -> rule4)) -> rule9)) -> rule5)) -> rule2) OR ((((((((((triple4) -> rule1)) -> rule4)) -> rule9)) -> rule5)) -> rule2) OR ((((((((((triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((((((((triple4) -> rule1)) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule2))] Fiona is young.[(((triple5) -> rule4) OR ((((triple4) -> rule1)) -> rule4) OR ((((((triple6) -> rule8)) -> rule1)) -> rule4))] Gary is smart.[(((triple8) -> rule5))] Harry is smart.[(((triple9) -> rule5) OR ((((((triple10) -> rule4)) -> rule9)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule6)) -> rule3)) -> rule5))] Harry is young.[(((triple10) -> rule4) OR ((((((((triple9) -> rule5)) -> rule8)) -> rule1)) -> rule4))] @2: Bob is young.[(((((triple2) -> rule1)) -> rule4) OR ((((triple1 triple3) -> rule7)) -> rule4) OR ((((((triple3) -> rule8)) -> rule1)) -> rule4) OR ((((triple1 ((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule4) OR ((((((((((triple1) -> rule3)) -> rule5)) -> rule8)) -> rule1)) -> rule4))] Fiona is blue.[(((((triple5) -> rule4)) -> rule6) OR ((((((triple4) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple6) -> rule8)) -> rule1)) -> rule4)) -> rule6))] Fiona is green.[(((((triple5) -> rule4)) -> rule9) OR ((((((triple4) -> rule1)) -> rule4)) -> rule9) OR ((((((triple5) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple4) -> rule1)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple6) -> rule8)) -> rule1)) -> rule4)) -> rule9) OR ((((((((((triple6) -> rule8)) -> rule1)) -> rule4)) -> rule6)) -> rule3))] Gary is furry.[(((((triple8) -> rule5)) -> rule8))] Harry is big.[(((((triple9) -> rule5)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule9)) -> rule5)) -> rule2) OR ((((((((((triple10) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule2))] Harry is blue.[(((((triple10) -> rule4)) -> rule6) OR ((((((((((triple9) -> rule5)) -> rule8)) -> rule1)) -> rule4)) -> rule6))] Harry is furry.[(((((triple9) -> rule5)) -> rule8) OR ((((((((triple10) -> rule4)) -> rule9)) -> rule5)) -> rule8) OR ((((((((((triple10) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule8))] @3: Gary is kind.[(((((((triple8) -> rule5)) -> rule8)) -> rule1))] @4: Gary is young.[(((((((((triple8) -> rule5)) -> rule8)) -> rule1)) -> rule4))] @5: Gary is blue.[(((((((((((triple8) -> rule5)) -> rule8)) -> rule1)) -> rule4)) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((triple3) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
triple3
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((((triple2) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
((triple6) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((((((triple5) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((((((triple5) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
((triple4) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
((((((triple5) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((((triple4) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((((((triple4) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
triple7
((((triple8) -> (rule5 % int2))) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
((((triple10) -> (rule4 % int2))) -> (rule9 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((((triple10) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
triple10
((((((triple9) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
((triple3) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((((((triple2) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((((((triple2) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple1 triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((((triple2) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple1 triple3) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple3) -> (rule8 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((triple1 ((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((((triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
((triple6) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((((((triple5) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((((((triple4) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((((((triple5) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((((((((triple4) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is kind.
("Fiona" "is" "kind" "+")
int6
Fiona is young.
("Fiona" "is" "young" "+")
((triple5) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((((triple6) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
((triple8) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple9) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((((triple10) -> (rule4 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((((triple10) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((triple10) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((((((triple9) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple1 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple1 ((((triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((((triple1) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((((triple6) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((((triple5) -> (rule4 % int2))) -> (rule9 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((((triple4) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((((triple6) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((((triple6) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
((((triple8) -> (rule5 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple9) -> (rule5 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((((triple10) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((((((triple10) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
((((triple10) -> (rule4 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((((((((triple9) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
((((triple9) -> (rule5 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((((triple10) -> (rule4 % int4))) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((((((triple10) -> (rule4 % int5))) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Gary is kind.
("Gary" "is" "kind" "+")
((((((triple8) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((((((triple8) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
((((((((((triple8) -> (rule5 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5