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