Bob is red. Bob is rough. Bob is smart. Bob is white. Bob is young. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. Fiona is young. Gary is furry. Gary is red. Gary is rough. Gary is smart. Gary is white. If Fiona is round and Fiona is rough then Fiona is young. If Fiona is white and Fiona is red then Fiona is furry. All white, rough things are furry. Round, white things are young. Red things are round. If something is young and rough then it is furry. All young, rough things are furry. All rough things are red.
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If Fiona is round and Fiona is rough then Fiona is young.
((("Fiona" "is" "round" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "young" "+"))
If Fiona is white and Fiona is red then Fiona is furry.
((("Fiona" "is" "white" "+") ("Fiona" "is" "red" "+")) -> ("Fiona" "is" "furry" "+"))
All white, rough things are furry.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
Round, white things are young.
((("something" "is" "round" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
Red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something is young and rough then it is furry.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
All young, rough things are furry.
((("something" "is" "young" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
All rough things are red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Fiona is red.
True
1
proof
[(triple6 OR ((triple7) -> rule8))]
("Fiona" "is" "red" "+")
triple6
((triple7) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not rough.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "rough" "-")
triple7
Fiona is furry.
True
3
proof
[(((triple10 triple7) -> rule6) OR ((triple10 triple7) -> rule7) OR ((triple9 triple6) -> rule2) OR ((triple9 triple7) -> rule3) OR ((triple9 ((triple7) -> rule8)) -> rule2) OR ((((triple8 triple7) -> rule1) triple7) -> rule6) OR ((((triple8 triple7) -> rule1) triple7) -> rule7) OR ((((triple8 triple9) -> rule4) triple7) -> rule6) OR ((((triple8 triple9) -> rule4) triple7) -> rule7) OR ((((((triple6) -> rule5) triple7) -> rule1) triple7) -> rule6) OR ((((((triple6) -> rule5) triple7) -> rule1) triple7) -> rule7) OR ((((((triple6) -> rule5) triple9) -> rule4) triple7) -> rule6) OR ((((((triple6) -> rule5) triple9) -> rule4) triple7) -> rule7) OR ((((((((triple7) -> rule8)) -> rule5) triple7) -> rule1) triple7) -> rule6) OR ((((((((triple7) -> rule8)) -> rule5) triple7) -> rule1) triple7) -> rule7) OR ((((((((triple7) -> rule8)) -> rule5) triple9) -> rule4) triple7) -> rule6) OR ((((((((triple7) -> rule8)) -> rule5) triple9) -> rule4) triple7) -> rule7))]
("Fiona" "is" "furry" "+")
((triple10 triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple10 triple7) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple9 triple6) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple9 triple7) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple9 ((triple7) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple8 triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple8 triple7) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple8 triple9) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple8 triple9) -> (rule4 % int2)) triple7) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((((triple6) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple6) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple6) -> (rule5 % int3)) triple9) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple6) -> (rule5 % int3)) triple9) -> (rule4 % int2)) triple7) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((((triple7) -> (rule8 % int4))) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule5 % int3)) triple9) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule5 % int3)) triple9) -> (rule4 % int2)) triple7) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Bob is not round.
False
2
inv-proof
[(((triple1) -> rule5) OR ((((triple2) -> rule8)) -> rule5))]
("Bob" "is" "round" "-")
((triple1) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Gary is young.
True
4
proof
[(((((triple12) -> rule5) triple15) -> rule4) OR ((((((triple13) -> rule8)) -> rule5) triple15) -> rule4))]
("Gary" "is" "young" "+")
((((triple12) -> (rule5 % int2)) triple15) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((((triple13) -> (rule8 % int3))) -> (rule5 % int2)) triple15) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not young.
False
4
inv-proof
[(((((triple12) -> rule5) triple15) -> rule4) OR ((((((triple13) -> rule8)) -> rule5) triple15) -> rule4))]
("Gary" "is" "young" "-")
((((triple12) -> (rule5 % int2)) triple15) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((((triple13) -> (rule8 % int3))) -> (rule5 % int2)) triple15) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
@0: Bob is red.[(triple1 OR ((triple2) -> rule8))] Bob is rough.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5 OR ((((triple1) -> rule5) triple4) -> rule4) OR ((((((triple2) -> rule8)) -> rule5) triple4) -> rule4))] Fiona is red.[(triple6 OR ((triple7) -> rule8))] Fiona is rough.[(triple7)] Fiona is round.[(triple8 OR ((triple6) -> rule5) OR ((((triple7) -> rule8)) -> rule5))] Fiona is white.[(triple9)] Fiona is young.[(triple10 OR ((triple8 triple7) -> rule1) OR ((triple8 triple9) -> rule4) OR ((((triple6) -> rule5) triple7) -> rule1) OR ((((triple6) -> rule5) triple9) -> rule4) OR ((((((triple7) -> rule8)) -> rule5) triple7) -> rule1) OR ((((((triple7) -> rule8)) -> rule5) triple9) -> rule4))] Gary is furry.[(triple11 OR ((triple15 triple13) -> rule3) OR ((((((triple12) -> rule5) triple15) -> rule4) triple13) -> rule6) OR ((((((triple12) -> rule5) triple15) -> rule4) triple13) -> rule7) OR ((((((((triple13) -> rule8)) -> rule5) triple15) -> rule4) triple13) -> rule6) OR ((((((((triple13) -> rule8)) -> rule5) triple15) -> rule4) triple13) -> rule7))] Gary is red.[(triple12 OR ((triple13) -> rule8))] Gary is rough.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15)] @1: Bob is furry.[(((triple4 triple2) -> rule3) OR ((triple5 triple2) -> rule6) OR ((triple5 triple2) -> rule7) OR ((((((triple1) -> rule5) triple4) -> rule4) triple2) -> rule6) OR ((((((triple1) -> rule5) triple4) -> rule4) triple2) -> rule7) OR ((((((((triple2) -> rule8)) -> rule5) triple4) -> rule4) triple2) -> rule6) OR ((((((((triple2) -> rule8)) -> rule5) triple4) -> rule4) triple2) -> rule7))] Bob is round.[(((triple1) -> rule5) OR ((((triple2) -> rule8)) -> rule5))] Fiona is furry.[(((triple10 triple7) -> rule6) OR ((triple10 triple7) -> rule7) OR ((triple9 triple6) -> rule2) OR ((triple9 triple7) -> rule3) OR ((triple9 ((triple7) -> rule8)) -> rule2) OR ((((triple8 triple7) -> rule1) triple7) -> rule6) OR ((((triple8 triple7) -> rule1) triple7) -> rule7) OR ((((triple8 triple9) -> rule4) triple7) -> rule6) OR ((((triple8 triple9) -> rule4) triple7) -> rule7) OR ((((((triple6) -> rule5) triple7) -> rule1) triple7) -> rule6) OR ((((((triple6) -> rule5) triple7) -> rule1) triple7) -> rule7) OR ((((((triple6) -> rule5) triple9) -> rule4) triple7) -> rule6) OR ((((((triple6) -> rule5) triple9) -> rule4) triple7) -> rule7) OR ((((((((triple7) -> rule8)) -> rule5) triple7) -> rule1) triple7) -> rule6) OR ((((((((triple7) -> rule8)) -> rule5) triple7) -> rule1) triple7) -> rule7) OR ((((((((triple7) -> rule8)) -> rule5) triple9) -> rule4) triple7) -> rule6) OR ((((((((triple7) -> rule8)) -> rule5) triple9) -> rule4) triple7) -> rule7))] Gary is round.[(((triple12) -> rule5) OR ((((triple13) -> rule8)) -> rule5))] @2: Gary is young.[(((((triple12) -> rule5) triple15) -> rule4) OR ((((((triple13) -> rule8)) -> rule5) triple15) -> rule4))]
Bob is red.
("Bob" "is" "red" "+")
triple1
((triple2) -> (rule8 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
((((triple1) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((((triple2) -> (rule8 % int3))) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
triple6
((triple7) -> (rule8 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
((triple6) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple7) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
((triple8 triple7) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple8 triple9) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple6) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple6) -> (rule5 % int2)) triple9) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((((triple7) -> (rule8 % int3))) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((triple7) -> (rule8 % int3))) -> (rule5 % int2)) triple9) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
triple11
((triple15 triple13) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((((triple12) -> (rule5 % int3)) triple15) -> (rule4 % int2)) triple13) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple12) -> (rule5 % int3)) triple15) -> (rule4 % int2)) triple13) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((((triple13) -> (rule8 % int4))) -> (rule5 % int3)) triple15) -> (rule4 % int2)) triple13) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple13) -> (rule8 % int4))) -> (rule5 % int3)) triple15) -> (rule4 % int2)) triple13) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
triple12
((triple13) -> (rule8 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Bob is furry.
("Bob" "is" "furry" "+")
((triple4 triple2) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple5 triple2) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple5 triple2) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((((triple1) -> (rule5 % int3)) triple4) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple1) -> (rule5 % int3)) triple4) -> (rule4 % int2)) triple2) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((((triple2) -> (rule8 % int4))) -> (rule5 % int3)) triple4) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple2) -> (rule8 % int4))) -> (rule5 % int3)) triple4) -> (rule4 % int2)) triple2) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
((triple1) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple2) -> (rule8 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple10 triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple10 triple7) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple9 triple6) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple9 triple7) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple9 ((triple7) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((triple8 triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple8 triple7) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple8 triple9) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple8 triple9) -> (rule4 % int2)) triple7) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((((triple6) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple6) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple6) -> (rule5 % int3)) triple9) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple6) -> (rule5 % int3)) triple9) -> (rule4 % int2)) triple7) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((((triple7) -> (rule8 % int4))) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule5 % int3)) triple9) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple7) -> (rule8 % int4))) -> (rule5 % int3)) triple9) -> (rule4 % int2)) triple7) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
((triple12) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple13) -> (rule8 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple12) -> (rule5 % int2)) triple15) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((((triple13) -> (rule8 % int3))) -> (rule5 % int2)) triple15) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3