Dave is furry. Dave is rough. Fiona is big. Fiona is blue. Fiona is furry. Fiona is round. Fiona is smart. If someone is kind and furry then they are round. If someone is rough and smart then they are kind. If Fiona is furry and Fiona is rough then Fiona is kind. If someone is furry and big then they are kind. Furry people are big. If someone is blue and kind then they are round. If Fiona is blue then Fiona is rough. Rough people are furry.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is kind and furry then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and smart then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
If Fiona is furry and Fiona is rough then Fiona is kind.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "kind" "+"))
If someone is furry and big then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If Fiona is blue then Fiona is rough.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "rough" "+"))
Rough people are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
Fiona is big.
True
1
proof
[(triple3 OR ((triple5) -> rule5) OR ((((((triple4) -> rule7)) -> rule8)) -> rule5))]
("Fiona" "is" "big" "+")
triple3
((triple5) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((((triple4) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is not big.
False
1
inv-proof
[(triple3 OR ((triple5) -> rule5) OR ((((((triple4) -> rule7)) -> rule8)) -> rule5))]
("Fiona" "is" "big" "-")
triple3
((triple5) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((((triple4) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
True
3
proof
[(((triple5 triple3) -> rule4) OR ((triple5 ((triple4) -> rule7)) -> rule3) OR ((triple5 ((triple5) -> rule5)) -> rule4) OR ((((triple4) -> rule7) triple7) -> rule2) OR ((((((triple4) -> rule7)) -> rule8) triple3) -> rule4) OR ((((((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule3) OR ((((((triple4) -> rule7)) -> rule8) ((triple5) -> rule5)) -> rule4) OR ((triple5 ((((((triple4) -> rule7)) -> rule8)) -> rule5)) -> rule4) OR ((((((triple4) -> rule7)) -> rule8) ((((((triple4) -> rule7)) -> rule8)) -> rule5)) -> rule4))]
("Fiona" "is" "kind" "+")
((triple5 triple3) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple5 ((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple5 ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple4) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple4) -> (rule7 % int3))) -> (rule8 % int2)) triple3) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int3))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple4) -> (rule7 % int4))) -> (rule8 % int3)) ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((triple5 ((((((triple4) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple4) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple4) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is not rough.
False
2
inv-proof
[(((triple4) -> rule7))]
("Fiona" "is" "rough" "-")
((triple4) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Dave is kind.
True
4
proof
[(((triple1 ((triple1) -> rule5)) -> rule4) OR ((((triple2) -> rule8) ((triple1) -> rule5)) -> rule4) OR ((triple1 ((((triple2) -> rule8)) -> rule5)) -> rule4) OR ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule5)) -> rule4))]
("Dave" "is" "kind" "+")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple2) -> (rule8 % int3)) ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple1 ((((triple2) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple2) -> (rule8 % int3)) ((((triple2) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is not kind.
False
4
inv-proof
[(((triple1 ((triple1) -> rule5)) -> rule4) OR ((((triple2) -> rule8) ((triple1) -> rule5)) -> rule4) OR ((triple1 ((((triple2) -> rule8)) -> rule5)) -> rule4) OR ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule5)) -> rule4))]
("Dave" "is" "kind" "-")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple2) -> (rule8 % int3)) ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple1 ((((triple2) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple2) -> (rule8 % int3)) ((((triple2) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Dave is furry.[(triple1 OR ((triple2) -> rule8))] Dave is rough.[(triple2)] Fiona is big.[(triple3 OR ((triple5) -> rule5) OR ((((((triple4) -> rule7)) -> rule8)) -> rule5))] Fiona is blue.[(triple4)] Fiona is furry.[(triple5 OR ((((triple4) -> rule7)) -> rule8))] Fiona is round.[(triple6 OR ((triple4 ((triple5 triple3) -> rule4)) -> rule6) OR ((((triple5 triple3) -> rule4) triple5) -> rule1) OR ((triple4 ((triple5 ((triple4) -> rule7)) -> rule3)) -> rule6) OR ((triple4 ((triple5 ((triple5) -> rule5)) -> rule4)) -> rule6) OR ((triple4 ((((triple4) -> rule7) triple7) -> rule2)) -> rule6) OR ((((triple5 ((triple4) -> rule7)) -> rule3) triple5) -> rule1) OR ((((triple5 ((triple5) -> rule5)) -> rule4) triple5) -> rule1) OR ((((((triple4) -> rule7) triple7) -> rule2) triple5) -> rule1) OR ((((triple5 triple3) -> rule4) ((((triple4) -> rule7)) -> rule8)) -> rule1) OR ((((triple5 ((triple4) -> rule7)) -> rule3) ((((triple4) -> rule7)) -> rule8)) -> rule1) OR ((((triple5 ((triple5) -> rule5)) -> rule4) ((((triple4) -> rule7)) -> rule8)) -> rule1) OR ((((((triple4) -> rule7) triple7) -> rule2) ((((triple4) -> rule7)) -> rule8)) -> rule1) OR ((triple4 ((((((triple4) -> rule7)) -> rule8) triple3) -> rule4)) -> rule6) OR ((((((((triple4) -> rule7)) -> rule8) triple3) -> rule4) triple5) -> rule1) OR ((triple4 ((((((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule3)) -> rule6) OR ((triple4 ((((((triple4) -> rule7)) -> rule8) ((triple5) -> rule5)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule3) triple5) -> rule1) OR ((((((((triple4) -> rule7)) -> rule8) ((triple5) -> rule5)) -> rule4) triple5) -> rule1) OR ((((((((triple4) -> rule7)) -> rule8) triple3) -> rule4) ((((triple4) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule3) ((((triple4) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple4) -> rule7)) -> rule8) ((triple5) -> rule5)) -> rule4) ((((triple4) -> rule7)) -> rule8)) -> rule1) OR ((triple4 ((triple5 ((((((triple4) -> rule7)) -> rule8)) -> rule5)) -> rule4)) -> rule6) OR ((((triple5 ((((((triple4) -> rule7)) -> rule8)) -> rule5)) -> rule4) triple5) -> rule1) OR ((triple4 ((((((triple4) -> rule7)) -> rule8) ((((((triple4) -> rule7)) -> rule8)) -> rule5)) -> rule4)) -> rule6) OR ((((triple5 ((((((triple4) -> rule7)) -> rule8)) -> rule5)) -> rule4) ((((triple4) -> rule7)) -> rule8)) -> rule1) OR ((((((((triple4) -> rule7)) -> rule8) ((((((triple4) -> rule7)) -> rule8)) -> rule5)) -> rule4) triple5) -> rule1) OR ((((((((triple4) -> rule7)) -> rule8) ((((((triple4) -> rule7)) -> rule8)) -> rule5)) -> rule4) ((((triple4) -> rule7)) -> rule8)) -> rule1))] Fiona is smart.[(triple7)] @1: Dave is big.[(((triple1) -> rule5) OR ((((triple2) -> rule8)) -> rule5))] Fiona is kind.[(((triple5 triple3) -> rule4) OR ((triple5 ((triple4) -> rule7)) -> rule3) OR ((triple5 ((triple5) -> rule5)) -> rule4) OR ((((triple4) -> rule7) triple7) -> rule2) OR ((((((triple4) -> rule7)) -> rule8) triple3) -> rule4) OR ((((((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule3) OR ((((((triple4) -> rule7)) -> rule8) ((triple5) -> rule5)) -> rule4) OR ((triple5 ((((((triple4) -> rule7)) -> rule8)) -> rule5)) -> rule4) OR ((((((triple4) -> rule7)) -> rule8) ((((((triple4) -> rule7)) -> rule8)) -> rule5)) -> rule4))] Fiona is rough.[(((triple4) -> rule7))] @2: Dave is kind.[(((triple1 ((triple1) -> rule5)) -> rule4) OR ((((triple2) -> rule8) ((triple1) -> rule5)) -> rule4) OR ((triple1 ((((triple2) -> rule8)) -> rule5)) -> rule4) OR ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule5)) -> rule4))] @3: Dave is round.[(((((triple1 ((triple1) -> rule5)) -> rule4) triple1) -> rule1) OR ((((triple1 ((triple1) -> rule5)) -> rule4) ((triple2) -> rule8)) -> rule1) OR ((((((triple2) -> rule8) ((triple1) -> rule5)) -> rule4) triple1) -> rule1) OR ((((((triple2) -> rule8) ((triple1) -> rule5)) -> rule4) ((triple2) -> rule8)) -> rule1) OR ((((triple1 ((((triple2) -> rule8)) -> rule5)) -> rule4) triple1) -> rule1) OR ((((triple1 ((((triple2) -> rule8)) -> rule5)) -> rule4) ((triple2) -> rule8)) -> rule1) OR ((((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule5)) -> rule4) triple1) -> rule1) OR ((((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule5)) -> rule4) ((triple2) -> rule8)) -> rule1))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
((triple2) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
((triple5) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((((triple4) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
((((triple4) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple6
((triple4 ((triple5 triple3) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple5 triple3) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple4 ((triple5 ((triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((triple4 ((triple5 ((triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((triple4 ((((triple4) -> (rule7 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple5 ((triple4) -> (rule7 % int3))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple5 ((triple5) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple4) -> (rule7 % int3)) triple7) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple5 triple3) -> (rule4 % int4)) ((((triple4) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple5 ((triple4) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple4) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((triple5 ((triple5) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple4) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple4) -> (rule7 % int4)) triple7) -> (rule2 % int3)) ((((triple4) -> (rule7 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((triple4 ((((((triple4) -> (rule7 % int4))) -> (rule8 % int3)) triple3) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple4) -> (rule7 % int4))) -> (rule8 % int3)) triple3) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((triple4 ((((((triple4) -> (rule7 % int4))) -> (rule8 % int3)) ((triple4) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((triple4 ((((((triple4) -> (rule7 % int5))) -> (rule8 % int4)) ((triple5) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple4) -> (rule7 % int4))) -> (rule8 % int3)) ((triple4) -> (rule7 % int4))) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple4) -> (rule7 % int5))) -> (rule8 % int4)) ((triple5) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple4) -> (rule7 % int4))) -> (rule8 % int3)) triple3) -> (rule4 % int2)) ((((triple4) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple4) -> (rule7 % int4))) -> (rule8 % int3)) ((triple4) -> (rule7 % int4))) -> (rule3 % int2)) ((((triple4) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple4) -> (rule7 % int5))) -> (rule8 % int4)) ((triple5) -> (rule5 % int3))) -> (rule4 % int2)) ((((triple4) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((triple4 ((triple5 ((((((triple4) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((triple5 ((((((triple4) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((triple4 ((((((triple4) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple4) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((triple5 ((((((triple4) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((((triple4) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple4) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple4) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((triple4) -> (rule7 % int5))) -> (rule8 % int4)) ((((((triple4) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((((triple4) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
((triple1) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple5 triple3) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple5 ((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple5 ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple4) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((((triple4) -> (rule7 % int3))) -> (rule8 % int2)) triple3) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule8 % int2)) ((triple4) -> (rule7 % int3))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple4) -> (rule7 % int4))) -> (rule8 % int3)) ((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((triple5 ((((((triple4) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple4) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple4) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple4) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple2) -> (rule8 % int3)) ((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple1 ((((triple2) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((triple2) -> (rule8 % int3)) ((((triple2) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
((((triple1 ((triple1) -> (rule5 % int3))) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((triple1 ((triple1) -> (rule5 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((triple2) -> (rule8 % int4)) ((triple1) -> (rule5 % int3))) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((triple2) -> (rule8 % int4)) ((triple1) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int4))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple1 ((((triple2) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple1 ((((triple2) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int4))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((triple2) -> (rule8 % int4)) ((((triple2) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((((triple2) -> (rule8 % int4)) ((((triple2) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int4))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4