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