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