Anne is green. Bob is nice. Bob is red. Bob is white. Bob is young. Fiona is green. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is not white. Harry is young. All green things are furry. If Fiona is green then Fiona is furry. All furry things are not white. If Anne is white then Anne is kind. All nice, green things are young. If something is young and not green then it is red. If something is furry and not white then it is kind. If Fiona is green and Fiona is kind then Fiona is nice.
Anne is green.
("Anne" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is not white.
("Harry" "is" "white" "-")
Harry is young.
("Harry" "is" "young" "+")
All green things are furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
If Fiona is green then Fiona is furry.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "furry" "+"))
All furry things are not white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "-"))
If Anne is white then Anne is kind.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "kind" "+"))
All nice, green things are young.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
If something is young and not green then it is red.
((("something" "is" "young" "+") ("something" "is" "green" "~")) -> ("something" "is" "red" "+"))
If something is furry and not white then it is kind.
((("something" "is" "furry" "+") ("something" "is" "white" "~")) -> ("something" "is" "kind" "+"))
If Fiona is green and Fiona is kind then Fiona is nice.
((("Fiona" "is" "green" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "nice" "+"))
Bob is young.
True
1
proof
[(triple5)]
("Bob" "is" "young" "+")
triple5
Bob is not young.
False
1
inv-proof
[(triple5)]
("Bob" "is" "young" "-")
triple5
Harry is kind.
True
3
proof
[(((triple7 triple11) -> rule7) OR ((triple7 ((triple7) -> rule3)) -> rule7) OR ((((triple8) -> rule1) triple11) -> rule7) OR ((((triple8) -> rule1) ((triple7) -> rule3)) -> rule7) OR ((triple7 ((((triple8) -> rule1)) -> rule3)) -> rule7) OR ((((triple8) -> rule1) ((((triple8) -> rule1)) -> rule3)) -> rule7))]
("Harry" "is" "kind" "+")
((triple7 triple11) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple7 ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not white.
("Harry" "is" "white" "-")
int2
((((triple8) -> (rule1 % int2)) triple11) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple8) -> (rule1 % int3)) ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not white.
("Harry" "is" "white" "-")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((triple7 ((((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not white.
("Harry" "is" "white" "-")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple8) -> (rule1 % int3)) ((((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not white.
("Harry" "is" "white" "-")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Fiona is not furry.
False
2
inv-proof
[(((triple6) -> rule1) OR ((triple6) -> rule2))]
("Fiona" "is" "furry" "-")
((triple6) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple6) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not white.
True
3
proof
[(((((triple6) -> rule1)) -> rule3) OR ((((triple6) -> rule2)) -> rule3))]
("Fiona" "is" "white" "-")
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is white.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule3) OR ((((triple6) -> rule2)) -> rule3))]
("Fiona" "is" "white" "+")
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
True
6
proof
[(((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple6) -> rule1) ((((triple6) -> rule2)) -> rule3)) -> rule7) OR ((((triple6) -> rule2) ((((triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule3)) -> rule7))]
("Fiona" "is" "kind" "+")
((((triple6) -> (rule1 % int3)) ((((triple6) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple6) -> (rule1 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is not kind.
False
6
inv-proof
[(((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple6) -> rule1) ((((triple6) -> rule2)) -> rule3)) -> rule7) OR ((((triple6) -> rule2) ((((triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule3)) -> rule7))]
("Fiona" "is" "kind" "-")
((((triple6) -> (rule1 % int3)) ((((triple6) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple6) -> (rule1 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
True
8
proof
[(((triple6 ((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule7)) -> rule8) OR ((triple6 ((((triple6) -> rule1) ((((triple6) -> rule2)) -> rule3)) -> rule7)) -> rule8) OR ((triple6 ((((triple6) -> rule2) ((((triple6) -> rule1)) -> rule3)) -> rule7)) -> rule8) OR ((triple6 ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule3)) -> rule7)) -> rule8))]
("Fiona" "is" "nice" "+")
((triple6 ((((triple6) -> (rule1 % int4)) ((((triple6) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((triple6 ((((triple6) -> (rule1 % int4)) ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((triple6 ((((triple6) -> (rule2 % int4)) ((((triple6) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((triple6 ((((triple6) -> (rule2 % int4)) ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is not nice.
False
8
inv-proof
[(((triple6 ((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule7)) -> rule8) OR ((triple6 ((((triple6) -> rule1) ((((triple6) -> rule2)) -> rule3)) -> rule7)) -> rule8) OR ((triple6 ((((triple6) -> rule2) ((((triple6) -> rule1)) -> rule3)) -> rule7)) -> rule8) OR ((triple6 ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule3)) -> rule7)) -> rule8))]
("Fiona" "is" "nice" "-")
((triple6 ((((triple6) -> (rule1 % int4)) ((((triple6) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((triple6 ((((triple6) -> (rule1 % int4)) ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((triple6 ((((triple6) -> (rule2 % int4)) ((((triple6) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((triple6 ((((triple6) -> (rule2 % int4)) ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is young.
True
10
proof
[(((((triple6 ((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule7)) -> rule8) triple6) -> rule5) OR ((((triple6 ((((triple6) -> rule1) ((((triple6) -> rule2)) -> rule3)) -> rule7)) -> rule8) triple6) -> rule5) OR ((((triple6 ((((triple6) -> rule2) ((((triple6) -> rule1)) -> rule3)) -> rule7)) -> rule8) triple6) -> rule5) OR ((((triple6 ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule3)) -> rule7)) -> rule8) triple6) -> rule5))]
("Fiona" "is" "young" "+")
((((triple6 ((((triple6) -> (rule1 % int5)) ((((triple6) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not white.
("Fiona" "is" "white" "-")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((triple6 ((((triple6) -> (rule1 % int5)) ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not white.
("Fiona" "is" "white" "-")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5)) ((((triple6) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not white.
("Fiona" "is" "white" "-")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5)) ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not white.
("Fiona" "is" "white" "-")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is not young.
False
10
inv-proof
[(((((triple6 ((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule7)) -> rule8) triple6) -> rule5) OR ((((triple6 ((((triple6) -> rule1) ((((triple6) -> rule2)) -> rule3)) -> rule7)) -> rule8) triple6) -> rule5) OR ((((triple6 ((((triple6) -> rule2) ((((triple6) -> rule1)) -> rule3)) -> rule7)) -> rule8) triple6) -> rule5) OR ((((triple6 ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule3)) -> rule7)) -> rule8) triple6) -> rule5))]
("Fiona" "is" "young" "-")
((((triple6 ((((triple6) -> (rule1 % int5)) ((((triple6) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not white.
("Fiona" "is" "white" "-")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((triple6 ((((triple6) -> (rule1 % int5)) ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not white.
("Fiona" "is" "white" "-")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5)) ((((triple6) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not white.
("Fiona" "is" "white" "-")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5)) ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not white.
("Fiona" "is" "white" "-")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "furry" "-")
Anne is young.
Unknown
rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "young" "+")
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "kind" "-")
Anne is red.
Unknown
rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "red" "+")
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "red" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Anne is green.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Fiona is green.[(triple6)] Harry is furry.[(triple7 OR ((triple8) -> rule1))] Harry is green.[(triple8)] Harry is nice.[(triple9)] Harry is not white.[(triple11 OR ((triple7) -> rule3) OR ((((triple8) -> rule1)) -> rule3))] Harry is red.[(triple10)] Harry is young.[(triple12 OR ((triple9 triple8) -> rule5))] @1: Anne is furry.[(((triple1) -> rule1))] Fiona is furry.[(((triple6) -> rule1) OR ((triple6) -> rule2))] Harry is kind.[(((triple7 triple11) -> rule7) OR ((triple7 ((triple7) -> rule3)) -> rule7) OR ((((triple8) -> rule1) triple11) -> rule7) OR ((((triple8) -> rule1) ((triple7) -> rule3)) -> rule7) OR ((triple7 ((((triple8) -> rule1)) -> rule3)) -> rule7) OR ((((triple8) -> rule1) ((((triple8) -> rule1)) -> rule3)) -> rule7))] @2: Anne is not white.[(((((triple1) -> rule1)) -> rule3))] Fiona is not white.[(((((triple6) -> rule1)) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] @3: Anne is kind.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule7))] Fiona is kind.[(((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple6) -> rule1) ((((triple6) -> rule2)) -> rule3)) -> rule7) OR ((((triple6) -> rule2) ((((triple6) -> rule1)) -> rule3)) -> rule7) OR ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule3)) -> rule7))] @4: Fiona is nice.[(((triple6 ((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule7)) -> rule8) OR ((triple6 ((((triple6) -> rule1) ((((triple6) -> rule2)) -> rule3)) -> rule7)) -> rule8) OR ((triple6 ((((triple6) -> rule2) ((((triple6) -> rule1)) -> rule3)) -> rule7)) -> rule8) OR ((triple6 ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule3)) -> rule7)) -> rule8))] @5: Fiona is young.[(((((triple6 ((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule3)) -> rule7)) -> rule8) triple6) -> rule5) OR ((((triple6 ((((triple6) -> rule1) ((((triple6) -> rule2)) -> rule3)) -> rule7)) -> rule8) triple6) -> rule5) OR ((((triple6 ((((triple6) -> rule2) ((((triple6) -> rule1)) -> rule3)) -> rule7)) -> rule8) triple6) -> rule5) OR ((((triple6 ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule3)) -> rule7)) -> rule8) triple6) -> rule5))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
((triple8) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is not white.
("Harry" "is" "white" "-")
triple11
((triple7) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple12
((triple9 triple8) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple6) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple6) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple7 triple11) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple7 ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not white.
("Harry" "is" "white" "-")
int2
((((triple8) -> (rule1 % int2)) triple11) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple8) -> (rule1 % int3)) ((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not white.
("Harry" "is" "white" "-")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((triple7 ((((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not white.
("Harry" "is" "white" "-")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple8) -> (rule1 % int3)) ((((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not white.
("Harry" "is" "white" "-")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Anne is not white.
("Anne" "is" "white" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not white.
("Anne" "is" "white" "-")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple6) -> (rule1 % int3)) ((((triple6) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple6) -> (rule1 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple6 ((((triple6) -> (rule1 % int4)) ((((triple6) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((triple6 ((((triple6) -> (rule1 % int4)) ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((triple6 ((((triple6) -> (rule2 % int4)) ((((triple6) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((triple6 ((((triple6) -> (rule2 % int4)) ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not white.
("Fiona" "is" "white" "-")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
((((triple6 ((((triple6) -> (rule1 % int5)) ((((triple6) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not white.
("Fiona" "is" "white" "-")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((triple6 ((((triple6) -> (rule1 % int5)) ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not white.
("Fiona" "is" "white" "-")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5)) ((((triple6) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not white.
("Fiona" "is" "white" "-")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
((((triple6 ((((triple6) -> (rule2 % int5)) ((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not white.
("Fiona" "is" "white" "-")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5