Bob is big. Bob is kind. Bob is quiet. Bob is rough. Charlie is big. Charlie is red. Fiona is big. Fiona is kind. Fiona is red. Fiona is rough. Gary is kind. If something is red then it is rough. All red, rough things are round. Furry things are kind. Round things are furry. If Bob is quiet then Bob is red. If something is kind then it is quiet. If Fiona is quiet then Fiona is kind.
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If something is red then it is rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
All red, rough things are round.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
Furry things are kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
Round things are furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
If Bob is quiet then Bob is red.
((("Bob" "is" "quiet" "+")) -> ("Bob" "is" "red" "+"))
If something is kind then it is quiet.
((("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is quiet then Fiona is kind.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "kind" "+"))
Charlie is big.
True
1
proof
[(triple5)]
("Charlie" "is" "big" "+")
triple5
Bob is not big.
False
1
inv-proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Gary is quiet.
True
2
proof
[(((triple11) -> rule6))]
("Gary" "is" "quiet" "+")
((triple11) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple8) -> rule6) OR ((((((((triple9 triple10) -> rule2)) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple9 ((triple9) -> rule1)) -> rule2)) -> rule4)) -> rule3)) -> rule6))]
("Fiona" "is" "quiet" "-")
((triple8) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((((((triple9 triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple9 ((triple9) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Bob is round.
True
4
proof
[(((((triple3) -> rule5) triple4) -> rule2) OR ((((((triple2) -> rule6)) -> rule5) triple4) -> rule2) OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule1)) -> rule2) OR ((((((triple2) -> rule6)) -> rule5) ((((triple3) -> rule5)) -> rule1)) -> rule2) OR ((((triple3) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple2) -> rule6)) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2))]
("Bob" "is" "round" "+")
((((triple3) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((((triple2) -> (rule6 % int3))) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple2) -> (rule6 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3) -> (rule5 % int4)) ((((((triple2) -> (rule6 % int3))) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule5 % int3)) ((((((triple2) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is not round.
False
4
inv-proof
[(((((triple3) -> rule5) triple4) -> rule2) OR ((((((triple2) -> rule6)) -> rule5) triple4) -> rule2) OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule1)) -> rule2) OR ((((((triple2) -> rule6)) -> rule5) ((((triple3) -> rule5)) -> rule1)) -> rule2) OR ((((triple3) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple2) -> rule6)) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2))]
("Bob" "is" "round" "-")
((((triple3) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((((triple2) -> (rule6 % int3))) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple2) -> (rule6 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3) -> (rule5 % int4)) ((((((triple2) -> (rule6 % int3))) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule5 % int3)) ((((((triple2) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
True
5
proof
[(((((((triple3) -> rule5) triple4) -> rule2)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule5) triple4) -> rule2)) -> rule4) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule1)) -> rule2)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule5) ((((triple3) -> rule5)) -> rule1)) -> rule2)) -> rule4) OR ((((((triple3) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2)) -> rule4))]
("Bob" "is" "furry" "+")
((((((triple3) -> (rule5 % int3)) triple4) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((((triple2) -> (rule6 % int4))) -> (rule5 % int3)) triple4) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple3) -> (rule5 % int4)) ((((triple3) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple2) -> (rule6 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple3) -> (rule5 % int5)) ((((((triple2) -> (rule6 % int4))) -> (rule5 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((triple2) -> (rule6 % int5))) -> (rule5 % int4)) ((((((triple2) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Charlie is not furry.
False
5
inv-proof
[(((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule4))]
("Charlie" "is" "furry" "-")
((((triple6 ((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is kind.
True
6
proof
[(((((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule4)) -> rule3))]
("Charlie" "is" "kind" "+")
((((((triple6 ((triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is not kind.
False
6
inv-proof
[(((((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule4)) -> rule3))]
("Charlie" "is" "kind" "-")
((((((triple6 ((triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is quiet.
True
7
proof
[(((((((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule4)) -> rule3)) -> rule6))]
("Charlie" "is" "quiet" "+")
((((((((triple6 ((triple6) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Charlie is not quiet.
False
7
inv-proof
[(((((((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule4)) -> rule3)) -> rule6))]
("Charlie" "is" "quiet" "-")
((((((((triple6 ((triple6) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is furry.
Unknown
rconc
[@2: Gary is furry.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Gary" "is" "furry" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Bob is big.[(triple1)] Bob is kind.[(triple2 OR ((((((((triple3) -> rule5) triple4) -> rule2)) -> rule4)) -> rule3) OR ((((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule1)) -> rule2)) -> rule4)) -> rule3))] Bob is quiet.[(triple3 OR ((triple2) -> rule6))] Bob is rough.[(triple4 OR ((((triple3) -> rule5)) -> rule1) OR ((((((triple2) -> rule6)) -> rule5)) -> rule1))] Charlie is big.[(triple5)] Charlie is red.[(triple6)] Fiona is big.[(triple7)] Fiona is kind.[(triple8 OR ((((((triple9 triple10) -> rule2)) -> rule4)) -> rule3) OR ((((((triple9 ((triple9) -> rule1)) -> rule2)) -> rule4)) -> rule3))] Fiona is red.[(triple9)] Fiona is rough.[(triple10 OR ((triple9) -> rule1))] Gary is kind.[(triple11)] @1: Bob is red.[(((triple3) -> rule5) OR ((((triple2) -> rule6)) -> rule5))] Charlie is rough.[(((triple6) -> rule1))] Fiona is quiet.[(((triple8) -> rule6) OR ((((((((triple9 triple10) -> rule2)) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple9 ((triple9) -> rule1)) -> rule2)) -> rule4)) -> rule3)) -> rule6))] Fiona is round.[(((triple9 triple10) -> rule2) OR ((triple9 ((triple9) -> rule1)) -> rule2))] Gary is quiet.[(((triple11) -> rule6))] @2: Bob is round.[(((((triple3) -> rule5) triple4) -> rule2) OR ((((((triple2) -> rule6)) -> rule5) triple4) -> rule2) OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule1)) -> rule2) OR ((((((triple2) -> rule6)) -> rule5) ((((triple3) -> rule5)) -> rule1)) -> rule2) OR ((((triple3) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2) OR ((((((triple2) -> rule6)) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2))] Charlie is round.[(((triple6 ((triple6) -> rule1)) -> rule2))] Fiona is furry.[(((((triple9 triple10) -> rule2)) -> rule4) OR ((((triple9 ((triple9) -> rule1)) -> rule2)) -> rule4))] @3: Bob is furry.[(((((((triple3) -> rule5) triple4) -> rule2)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule5) triple4) -> rule2)) -> rule4) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule1)) -> rule2)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule5) ((((triple3) -> rule5)) -> rule1)) -> rule2)) -> rule4) OR ((((((triple3) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule2)) -> rule4))] Charlie is furry.[(((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule4))] @4: Charlie is kind.[(((((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule4)) -> rule3))] @5: Charlie is quiet.[(((((((((triple6 ((triple6) -> rule1)) -> rule2)) -> rule4)) -> rule3)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
((((((((triple3) -> (rule5 % int4)) triple4) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple3) -> (rule5 % int5)) ((((triple3) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
((triple2) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((((triple2) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
((((((triple9 triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple9 ((triple9) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
((triple9) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Bob is red.
("Bob" "is" "red" "+")
((triple3) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple8) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((((((triple9 triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple9 ((triple9) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
((triple9 triple10) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple9 ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple11) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple3) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((((triple2) -> (rule6 % int3))) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple3) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple2) -> (rule6 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3) -> (rule5 % int4)) ((((((triple2) -> (rule6 % int3))) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple2) -> (rule6 % int4))) -> (rule5 % int3)) ((((((triple2) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
((triple6 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple9 triple10) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple9 ((triple9) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
((((((triple3) -> (rule5 % int3)) triple4) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((((triple2) -> (rule6 % int4))) -> (rule5 % int3)) triple4) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple3) -> (rule5 % int4)) ((((triple3) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple2) -> (rule6 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple3) -> (rule5 % int5)) ((((((triple2) -> (rule6 % int4))) -> (rule5 % int5))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((triple2) -> (rule6 % int5))) -> (rule5 % int4)) ((((((triple2) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple6 ((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((((((triple6 ((triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((((((((triple6 ((triple6) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5