Anne is furry. Dave is big. Fiona is big. Fiona is blue. Fiona is furry. Harry is green. Harry is kind. Furry, big people are nice. Big people are furry. Green people are kind. If someone is big and cold then they are nice. Blue people are green. Nice, furry people are blue. If someone is green then they are cold. If someone is blue then they are furry.
Anne is furry.
("Anne" "is" "furry" "+")
Dave is big.
("Dave" "is" "big" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Furry, big people are nice.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Big people are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
Green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and cold then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Nice, furry people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue then they are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
Harry is green.
True
1
proof
[(triple6)]
("Harry" "is" "green" "+")
triple6
Fiona is not big.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "big" "-")
triple3
Harry is cold.
True
2
proof
[(((triple6) -> rule7))]
("Harry" "is" "cold" "+")
((triple6) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Fiona is not nice.
False
3
inv-proof
[(((triple5 triple3) -> rule1) OR ((((triple3) -> rule2) triple3) -> rule1) OR ((((triple4) -> rule8) triple3) -> rule1) OR ((triple3 ((((triple4) -> rule5)) -> rule7)) -> rule4))]
("Fiona" "is" "nice" "-")
((triple5 triple3) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple4) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple3 ((((triple4) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is cold.
True
3
proof
[(((((triple4) -> rule5)) -> rule7) OR ((((((((triple5 triple3) -> rule1) triple5) -> rule6)) -> rule5)) -> rule7) OR ((((((((triple5 triple3) -> rule1) ((triple3) -> rule2)) -> rule6)) -> rule5)) -> rule7) OR ((((((((((triple3) -> rule2) triple3) -> rule1) triple5) -> rule6)) -> rule5)) -> rule7) OR ((((((((((triple3) -> rule2) triple3) -> rule1) ((triple3) -> rule2)) -> rule6)) -> rule5)) -> rule7))]
("Fiona" "is" "cold" "+")
((((triple4) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((((triple5 triple3) -> (rule1 % int4)) triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple5 triple3) -> (rule1 % int5)) ((triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((((((triple3) -> (rule2 % int5)) triple3) -> (rule1 % int4)) triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((((((triple3) -> (rule2 % int5)) triple3) -> (rule1 % int4)) ((triple3) -> (rule2 % int5))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is not cold.
False
3
inv-proof
[(((((triple4) -> rule5)) -> rule7) OR ((((((((triple5 triple3) -> rule1) triple5) -> rule6)) -> rule5)) -> rule7) OR ((((((((triple5 triple3) -> rule1) ((triple3) -> rule2)) -> rule6)) -> rule5)) -> rule7) OR ((((((((((triple3) -> rule2) triple3) -> rule1) triple5) -> rule6)) -> rule5)) -> rule7) OR ((((((((((triple3) -> rule2) triple3) -> rule1) ((triple3) -> rule2)) -> rule6)) -> rule5)) -> rule7))]
("Fiona" "is" "cold" "-")
((((triple4) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((((triple5 triple3) -> (rule1 % int4)) triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple5 triple3) -> (rule1 % int5)) ((triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((((((triple3) -> (rule2 % int5)) triple3) -> (rule1 % int4)) triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((((((triple3) -> (rule2 % int5)) triple3) -> (rule1 % int4)) ((triple3) -> (rule2 % int5))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Dave is blue.
True
7
proof
[(((((((triple2) -> rule2) triple2) -> rule1) ((triple2) -> rule2)) -> rule6))]
("Dave" "is" "blue" "+")
((((((triple2) -> (rule2 % int3)) triple2) -> (rule1 % int2)) ((triple2) -> (rule2 % int3))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is not blue.
False
7
inv-proof
[(((((((triple2) -> rule2) triple2) -> rule1) ((triple2) -> rule2)) -> rule6))]
("Dave" "is" "blue" "-")
((((((triple2) -> (rule2 % int3)) triple2) -> (rule1 % int2)) ((triple2) -> (rule2 % int3))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is green.
True
8
proof
[(((((((((triple2) -> rule2) triple2) -> rule1) ((triple2) -> rule2)) -> rule6)) -> rule5))]
("Dave" "is" "green" "+")
((((((((triple2) -> (rule2 % int4)) triple2) -> (rule1 % int3)) ((triple2) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is not green.
False
8
inv-proof
[(((((((((triple2) -> rule2) triple2) -> rule1) ((triple2) -> rule2)) -> rule6)) -> rule5))]
("Dave" "is" "green" "-")
((((((((triple2) -> (rule2 % int4)) triple2) -> (rule1 % int3)) ((triple2) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is kind.
True
9
proof
[(((((((((((triple2) -> rule2) triple2) -> rule1) ((triple2) -> rule2)) -> rule6)) -> rule5)) -> rule3))]
("Dave" "is" "kind" "+")
((((((((((triple2) -> (rule2 % int5)) triple2) -> (rule1 % int4)) ((triple2) -> (rule2 % int5))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is not cold.
False
9
inv-proof
[(((((((((((triple2) -> rule2) triple2) -> rule1) ((triple2) -> rule2)) -> rule6)) -> rule5)) -> rule7))]
("Dave" "is" "cold" "-")
((((((((((triple2) -> (rule2 % int5)) triple2) -> (rule1 % int4)) ((triple2) -> (rule2 % int5))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Anne is green.
Unknown
rconc
[@3: Anne is green.[CWA. Example of deepest failure = (rule5 <- rule6 <- rule1 <- FAIL)]]
("Anne" "is" "green" "+")
Harry is not blue.
Unknown
inv-rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Anne is not cold.
Unknown
inv-rconc
[@4: Anne is cold.[CWA. Example of deepest failure = (rule7 <- rule5 <- rule6 <- rule1 <- FAIL)]]
("Anne" "is" "cold" "-")
Anne is kind.
Unknown
rconc
[@4: Anne is kind.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule6 <- rule1 <- FAIL)]]
("Anne" "is" "kind" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is furry.[(triple1)] Dave is big.[(triple2)] Fiona is big.[(triple3)] Fiona is blue.[(triple4 OR ((((triple5 triple3) -> rule1) triple5) -> rule6) OR ((((triple5 triple3) -> rule1) ((triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule2) triple3) -> rule1) triple5) -> rule6) OR ((((((triple3) -> rule2) triple3) -> rule1) ((triple3) -> rule2)) -> rule6))] Fiona is furry.[(triple5 OR ((triple3) -> rule2) OR ((triple4) -> rule8))] Harry is green.[(triple6)] Harry is kind.[(triple7 OR ((triple6) -> rule3))] @1: Dave is furry.[(((triple2) -> rule2))] Fiona is green.[(((triple4) -> rule5) OR ((((((triple5 triple3) -> rule1) triple5) -> rule6)) -> rule5) OR ((((((triple5 triple3) -> rule1) ((triple3) -> rule2)) -> rule6)) -> rule5) OR ((((((((triple3) -> rule2) triple3) -> rule1) triple5) -> rule6)) -> rule5) OR ((((((((triple3) -> rule2) triple3) -> rule1) ((triple3) -> rule2)) -> rule6)) -> rule5))] Fiona is nice.[(((triple5 triple3) -> rule1) OR ((((triple3) -> rule2) triple3) -> rule1) OR ((((triple4) -> rule8) triple3) -> rule1) OR ((triple3 ((((triple4) -> rule5)) -> rule7)) -> rule4))] Harry is cold.[(((triple6) -> rule7))] @2: Dave is nice.[(((((triple2) -> rule2) triple2) -> rule1))] Fiona is cold.[(((((triple4) -> rule5)) -> rule7) OR ((((((((triple5 triple3) -> rule1) triple5) -> rule6)) -> rule5)) -> rule7) OR ((((((((triple5 triple3) -> rule1) ((triple3) -> rule2)) -> rule6)) -> rule5)) -> rule7) OR ((((((((((triple3) -> rule2) triple3) -> rule1) triple5) -> rule6)) -> rule5)) -> rule7) OR ((((((((((triple3) -> rule2) triple3) -> rule1) ((triple3) -> rule2)) -> rule6)) -> rule5)) -> rule7))] Fiona is kind.[(((((triple4) -> rule5)) -> rule3) OR ((((((((triple5 triple3) -> rule1) triple5) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple5 triple3) -> rule1) ((triple3) -> rule2)) -> rule6)) -> rule5)) -> rule3) OR ((((((((((triple3) -> rule2) triple3) -> rule1) triple5) -> rule6)) -> rule5)) -> rule3) OR ((((((((((triple3) -> rule2) triple3) -> rule1) ((triple3) -> rule2)) -> rule6)) -> rule5)) -> rule3))] @3: Dave is blue.[(((((((triple2) -> rule2) triple2) -> rule1) ((triple2) -> rule2)) -> rule6))] @4: Dave is green.[(((((((((triple2) -> rule2) triple2) -> rule1) ((triple2) -> rule2)) -> rule6)) -> rule5))] @5: Dave is cold.[(((((((((((triple2) -> rule2) triple2) -> rule1) ((triple2) -> rule2)) -> rule6)) -> rule5)) -> rule7))] Dave is kind.[(((((((((((triple2) -> rule2) triple2) -> rule1) ((triple2) -> rule2)) -> rule6)) -> rule5)) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
((((triple5 triple3) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple5 triple3) -> (rule1 % int3)) ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple3) -> (rule2 % int3)) triple3) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple3) -> (rule2 % int3)) triple3) -> (rule1 % int2)) ((triple3) -> (rule2 % int3))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
((triple3) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple4) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple7
((triple6) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple4) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((((triple5 triple3) -> (rule1 % int3)) triple5) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple5 triple3) -> (rule1 % int4)) ((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple3) -> (rule2 % int4)) triple3) -> (rule1 % int3)) triple5) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple3) -> (rule2 % int4)) triple3) -> (rule1 % int3)) ((triple3) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple5 triple3) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple4) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple3 ((((triple4) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
((triple6) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple4) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((((triple5 triple3) -> (rule1 % int4)) triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple5 triple3) -> (rule1 % int5)) ((triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((((((triple3) -> (rule2 % int5)) triple3) -> (rule1 % int4)) triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((((((triple3) -> (rule2 % int5)) triple3) -> (rule1 % int4)) ((triple3) -> (rule2 % int5))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((((triple5 triple3) -> (rule1 % int4)) triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple5 triple3) -> (rule1 % int5)) ((triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((((((triple3) -> (rule2 % int5)) triple3) -> (rule1 % int4)) triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((((((((triple3) -> (rule2 % int5)) triple3) -> (rule1 % int4)) ((triple3) -> (rule2 % int5))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
((((((triple2) -> (rule2 % int3)) triple2) -> (rule1 % int2)) ((triple2) -> (rule2 % int3))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
((((((((triple2) -> (rule2 % int4)) triple2) -> (rule1 % int3)) ((triple2) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
((((((((((triple2) -> (rule2 % int5)) triple2) -> (rule1 % int4)) ((triple2) -> (rule2 % int5))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
((((((((((triple2) -> (rule2 % int5)) triple2) -> (rule1 % int4)) ((triple2) -> (rule2 % int5))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5