Charlie is blue. Charlie is furry. Charlie is red. Erin is blue. Fiona is green. Fiona is red. Harry is kind. If Erin is furry then Erin is red. Red people are big. If someone is big then they are smart. If someone is furry then they are smart. All smart, red people are blue. If someone is blue then they are kind. If someone is kind then they are red. All blue, kind people are furry.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If Erin is furry then Erin is red.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "red" "+"))
Red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
If someone is furry then they are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
All smart, red people are blue.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
All blue, kind people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
Harry is kind.
True
1
proof
[(triple7)]
("Harry" "is" "kind" "+")
triple7
Erin is not blue.
False
1
inv-proof
[(triple4)]
("Erin" "is" "blue" "-")
triple4
Charlie is kind.
True
2
proof
[(((triple1) -> rule6) OR ((((((triple2) -> rule4) triple3) -> rule5)) -> rule6) OR ((((((((triple3) -> rule2)) -> rule3) triple3) -> rule5)) -> rule6))]
("Charlie" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((((triple2) -> (rule4 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((((triple3) -> (rule2 % int4))) -> (rule3 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is not kind.
False
2
inv-proof
[(((triple1) -> rule6) OR ((((((triple2) -> rule4) triple3) -> rule5)) -> rule6) OR ((((((((triple3) -> rule2)) -> rule3) triple3) -> rule5)) -> rule6))]
("Charlie" "is" "kind" "-")
((triple1) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((((triple2) -> (rule4 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((((triple3) -> (rule2 % int4))) -> (rule3 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Erin is furry.
True
4
proof
[(((triple4 ((triple4) -> rule6)) -> rule8))]
("Erin" "is" "furry" "+")
((triple4 ((triple4) -> (rule6 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is not furry.
False
4
inv-proof
[(((triple4 ((triple4) -> rule6)) -> rule8))]
("Erin" "is" "furry" "-")
((triple4 ((triple4) -> (rule6 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
True
5
proof
[(((((triple4 ((triple4) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple4) -> rule6)) -> rule7)) -> rule2)) -> rule3) OR ((((((((triple4 ((triple4) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule3))]
("Erin" "is" "smart" "+")
((((triple4 ((triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((((triple4) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((((triple4 ((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is not smart.
False
5
inv-proof
[(((((triple4 ((triple4) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple4) -> rule6)) -> rule7)) -> rule2)) -> rule3) OR ((((((((triple4 ((triple4) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule3))]
("Erin" "is" "smart" "-")
((((triple4 ((triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((((triple4) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((((triple4 ((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Fiona is kind.
True
6
proof
[(((((((((triple6) -> rule2)) -> rule3) triple6) -> rule5)) -> rule6))]
("Fiona" "is" "kind" "+")
((((((((triple6) -> (rule2 % int4))) -> (rule3 % int3)) triple6) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is not kind.
False
6
inv-proof
[(((((((((triple6) -> rule2)) -> rule3) triple6) -> rule5)) -> rule6))]
("Fiona" "is" "kind" "-")
((((((((triple6) -> (rule2 % int4))) -> (rule3 % int3)) triple6) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Harry is furry.
True
9
proof
[(((((((((((triple7) -> rule7)) -> rule2)) -> rule3) ((triple7) -> rule7)) -> rule5) triple7) -> rule8))]
("Harry" "is" "furry" "+")
((((((((((triple7) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((triple7) -> (rule7 % int5))) -> (rule5 % int2)) triple7) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is not furry.
False
9
inv-proof
[(((((((((((triple7) -> rule7)) -> rule2)) -> rule3) ((triple7) -> rule7)) -> rule5) triple7) -> rule8))]
("Harry" "is" "furry" "-")
((((((((((triple7) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((triple7) -> (rule7 % int5))) -> (rule5 % int2)) triple7) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Charlie is blue.[(triple1 OR ((((triple2) -> rule4) triple3) -> rule5) OR ((((((triple3) -> rule2)) -> rule3) triple3) -> rule5))] Charlie is furry.[(triple2 OR ((triple1 ((triple1) -> rule6)) -> rule8) OR ((((((((triple3) -> rule2)) -> rule3) triple3) -> rule5) ((triple1) -> rule6)) -> rule8) OR ((triple1 ((((((((triple3) -> rule2)) -> rule3) triple3) -> rule5)) -> rule6)) -> rule8) OR ((((((((triple3) -> rule2)) -> rule3) triple3) -> rule5) ((((((((triple3) -> rule2)) -> rule3) triple3) -> rule5)) -> rule6)) -> rule8))] Charlie is red.[(triple3 OR ((((triple1) -> rule6)) -> rule7))] Erin is blue.[(triple4)] Fiona is green.[(triple5)] Fiona is red.[(triple6)] Harry is kind.[(triple7)] @1: Charlie is big.[(((triple3) -> rule2) OR ((((((triple1) -> rule6)) -> rule7)) -> rule2))] Charlie is kind.[(((triple1) -> rule6) OR ((((((triple2) -> rule4) triple3) -> rule5)) -> rule6) OR ((((((((triple3) -> rule2)) -> rule3) triple3) -> rule5)) -> rule6))] Charlie is smart.[(((triple2) -> rule4) OR ((((triple3) -> rule2)) -> rule3) OR ((((triple1 ((triple1) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple1) -> rule6)) -> rule7)) -> rule2)) -> rule3))] Erin is kind.[(((triple4) -> rule6))] Fiona is big.[(((triple6) -> rule2))] Harry is red.[(((triple7) -> rule7))] @2: Erin is furry.[(((triple4 ((triple4) -> rule6)) -> rule8))] Erin is red.[(((((triple4) -> rule6)) -> rule7) OR ((((triple4 ((triple4) -> rule6)) -> rule8)) -> rule1))] Fiona is smart.[(((((triple6) -> rule2)) -> rule3))] Harry is big.[(((((triple7) -> rule7)) -> rule2))] @3: Erin is big.[(((((((triple4) -> rule6)) -> rule7)) -> rule2) OR ((((((triple4 ((triple4) -> rule6)) -> rule8)) -> rule1)) -> rule2))] Erin is smart.[(((((triple4 ((triple4) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple4) -> rule6)) -> rule7)) -> rule2)) -> rule3) OR ((((((((triple4 ((triple4) -> rule6)) -> rule8)) -> rule1)) -> rule2)) -> rule3))] Fiona is blue.[(((((((triple6) -> rule2)) -> rule3) triple6) -> rule5))] Harry is smart.[(((((((triple7) -> rule7)) -> rule2)) -> rule3))] @4: Fiona is kind.[(((((((((triple6) -> rule2)) -> rule3) triple6) -> rule5)) -> rule6))] Harry is blue.[(((((((((triple7) -> rule7)) -> rule2)) -> rule3) ((triple7) -> rule7)) -> rule5))] @5: Fiona is furry.[(((((((((triple6) -> rule2)) -> rule3) triple6) -> rule5) ((((((((triple6) -> rule2)) -> rule3) triple6) -> rule5)) -> rule6)) -> rule8))] Harry is furry.[(((((((((((triple7) -> rule7)) -> rule2)) -> rule3) ((triple7) -> rule7)) -> rule5) triple7) -> rule8))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
((((triple2) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((((triple3) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
((triple1 ((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4)) triple3) -> (rule5 % int3)) ((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((triple1 ((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4)) triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4)) triple3) -> (rule5 % int3)) ((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4)) triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is red.
("Charlie" "is" "red" "+")
triple3
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Charlie is big.
("Charlie" "is" "big" "+")
((triple3) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((((triple2) -> (rule4 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((((((triple3) -> (rule2 % int4))) -> (rule3 % int3)) triple3) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple2) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple1 ((triple1) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((((triple1) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
((triple4) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple6) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple7) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple4 ((triple4) -> (rule6 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((((triple4) -> (rule6 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple4 ((triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple7) -> (rule7 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((((((triple4) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple4 ((triple4) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
((((triple4 ((triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((((triple4) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((((triple4 ((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
((((((triple7) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((((triple6) -> (rule2 % int4))) -> (rule3 % int3)) triple6) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
((((((((triple7) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7) -> (rule7 % int4))) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((((triple6) -> (rule2 % int5))) -> (rule3 % int4)) triple6) -> (rule5 % int3)) ((((((((triple6) -> (rule2 % int5))) -> (rule3 % int4)) triple6) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
((((((((((triple7) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((triple7) -> (rule7 % int5))) -> (rule5 % int2)) triple7) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5