Dave is big. Dave is rough. Dave is not white. Erin is cold. Erin is green. Gary is not round. Harry is cold. Red things are not cold. White things are green. Cold things are green. White, green things are big. All green things are white. If something is round then it is not rough. Green, big things are round. If something is cold and not white then it is round.
Dave is big.
("Dave" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is not white.
("Dave" "is" "white" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Gary is not round.
("Gary" "is" "round" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Red things are not cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "-"))
White things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
Cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
White, green things are big.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "big" "+"))
All green things are white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
If something is round then it is not rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "-"))
Green, big things are round.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
If something is cold and not white then it is round.
((("something" "is" "cold" "+") ("something" "is" "white" "~")) -> ("something" "is" "round" "+"))
Harry is cold.
True
1
proof
[(triple7)]
("Harry" "is" "cold" "+")
triple7
Erin is not cold.
False
1
inv-proof
[(triple4)]
("Erin" "is" "cold" "-")
triple4
Erin is white.
True
2
proof
[(((triple5) -> rule5) OR ((((triple4) -> rule3)) -> rule5))]
("Erin" "is" "white" "+")
((triple5) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not white.
False
2
inv-proof
[(((triple5) -> rule5) OR ((((triple4) -> rule3)) -> rule5))]
("Erin" "is" "white" "-")
((triple5) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Harry is white.
True
3
proof
[(((((triple7) -> rule3)) -> rule5))]
("Harry" "is" "white" "+")
((((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Erin is not big.
False
4
inv-proof
[(((((triple5) -> rule5) triple5) -> rule4) OR ((((triple5) -> rule5) ((triple4) -> rule3)) -> rule4) OR ((((((triple4) -> rule3)) -> rule5) triple5) -> rule4) OR ((((((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule4))]
("Erin" "is" "big" "-")
((((triple5) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple5) -> (rule5 % int3)) ((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple4) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule3 % int3))) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is round.
True
6
proof
[(((triple5 ((((triple5) -> rule5) triple5) -> rule4)) -> rule7) OR ((triple5 ((((triple5) -> rule5) ((triple4) -> rule3)) -> rule4)) -> rule7) OR ((((triple4) -> rule3) ((((triple5) -> rule5) triple5) -> rule4)) -> rule7) OR ((((triple4) -> rule3) ((((triple5) -> rule5) ((triple4) -> rule3)) -> rule4)) -> rule7) OR ((triple5 ((((((triple4) -> rule3)) -> rule5) triple5) -> rule4)) -> rule7) OR ((triple5 ((((((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule4)) -> rule7) OR ((((triple4) -> rule3) ((((((triple4) -> rule3)) -> rule5) triple5) -> rule4)) -> rule7) OR ((((triple4) -> rule3) ((((((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule4)) -> rule7))]
("Erin" "is" "round" "+")
((triple5 ((((triple5) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple5 ((((triple5) -> (rule5 % int4)) ((triple4) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple4) -> (rule3 % int4)) ((((triple5) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple4) -> (rule3 % int4)) ((((triple5) -> (rule5 % int3)) ((triple4) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((triple5 ((((((triple4) -> (rule3 % int4))) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((triple5 ((((((triple4) -> (rule3 % int4))) -> (rule5 % int3)) ((triple4) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple4) -> (rule3 % int4)) ((((((triple4) -> (rule3 % int4))) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple4) -> (rule3 % int4)) ((((((triple4) -> (rule3 % int4))) -> (rule5 % int3)) ((triple4) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Harry is not big.
False
6
inv-proof
[(((((((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule4))]
("Harry" "is" "big" "-")
((((((triple7) -> (rule3 % int3))) -> (rule5 % int2)) ((triple7) -> (rule3 % int3))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
True
9
proof
[(((((triple7) -> rule3) ((((((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule4)) -> rule7))]
("Harry" "is" "round" "+")
((((triple7) -> (rule3 % int4)) ((((((triple7) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is not round.
False
9
inv-proof
[(((((triple7) -> rule3) ((((((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule4)) -> rule7))]
("Harry" "is" "round" "-")
((((triple7) -> (rule3 % int4)) ((((((triple7) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is not rough.
True
10
proof
[(((((((triple7) -> rule3) ((((((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule4)) -> rule7)) -> rule6))]
("Harry" "is" "rough" "-")
((((((triple7) -> (rule3 % int5)) ((((((triple7) -> (rule3 % int5))) -> (rule5 % int4)) ((triple7) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is rough.
False
10
inv-proof
[(((((((triple7) -> rule3) ((((((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule4)) -> rule7)) -> rule6))]
("Harry" "is" "rough" "+")
((((((triple7) -> (rule3 % int5)) ((((((triple7) -> (rule3 % int5))) -> (rule5 % int4)) ((triple7) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Gary is not white.
Unknown
inv-rconc
[@2: Gary is white.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Gary" "is" "white" "-")
Dave is round.
Unknown
rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Dave" "is" "round" "+")
Gary is not big.
Unknown
inv-rconc
[@3: Gary is big.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule2 <- FAIL)]]
("Gary" "is" "big" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "green" "+")
Gary is not green.
Unknown
inv-rconc
[@3: Gary is green.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule3 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Dave is big.[(triple1)] Dave is not white.[(triple3)] Dave is rough.[(triple2)] Erin is cold.[(triple4)] Erin is green.[(triple5 OR ((triple4) -> rule3))] Gary is not round.[(triple6)] Harry is cold.[(triple7)] @1: Erin is white.[(((triple5) -> rule5) OR ((((triple4) -> rule3)) -> rule5))] Harry is green.[(((triple7) -> rule3))] @2: Erin is big.[(((((triple5) -> rule5) triple5) -> rule4) OR ((((triple5) -> rule5) ((triple4) -> rule3)) -> rule4) OR ((((((triple4) -> rule3)) -> rule5) triple5) -> rule4) OR ((((((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule4))] Harry is white.[(((((triple7) -> rule3)) -> rule5))] @3: Erin is round.[(((triple5 ((((triple5) -> rule5) triple5) -> rule4)) -> rule7) OR ((triple5 ((((triple5) -> rule5) ((triple4) -> rule3)) -> rule4)) -> rule7) OR ((((triple4) -> rule3) ((((triple5) -> rule5) triple5) -> rule4)) -> rule7) OR ((((triple4) -> rule3) ((((triple5) -> rule5) ((triple4) -> rule3)) -> rule4)) -> rule7) OR ((triple5 ((((((triple4) -> rule3)) -> rule5) triple5) -> rule4)) -> rule7) OR ((triple5 ((((((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule4)) -> rule7) OR ((((triple4) -> rule3) ((((((triple4) -> rule3)) -> rule5) triple5) -> rule4)) -> rule7) OR ((((triple4) -> rule3) ((((((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule4)) -> rule7))] Harry is big.[(((((((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule4))] @4: Erin is not rough.[(((((triple5 ((((triple5) -> rule5) triple5) -> rule4)) -> rule7)) -> rule6) OR ((((triple5 ((((triple5) -> rule5) ((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule6) OR ((((((triple4) -> rule3) ((((triple5) -> rule5) triple5) -> rule4)) -> rule7)) -> rule6) OR ((((((triple4) -> rule3) ((((triple5) -> rule5) ((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule6) OR ((((triple5 ((((((triple4) -> rule3)) -> rule5) triple5) -> rule4)) -> rule7)) -> rule6) OR ((((triple5 ((((((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule6) OR ((((((triple4) -> rule3) ((((((triple4) -> rule3)) -> rule5) triple5) -> rule4)) -> rule7)) -> rule6) OR ((((((triple4) -> rule3) ((((((triple4) -> rule3)) -> rule5) ((triple4) -> rule3)) -> rule4)) -> rule7)) -> rule6))] Harry is round.[(((((triple7) -> rule3) ((((((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule4)) -> rule7))] @5: Harry is not rough.[(((((((triple7) -> rule3) ((((((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule4)) -> rule7)) -> rule6))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is not white.
("Dave" "is" "white" "-")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
((triple4) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Gary is not round.
("Gary" "is" "round" "-")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
((triple5) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((triple7) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((((triple5) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple5) -> (rule5 % int3)) ((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple4) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple4) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule3 % int3))) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
((((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((triple5 ((((triple5) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple5 ((((triple5) -> (rule5 % int4)) ((triple4) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple4) -> (rule3 % int4)) ((((triple5) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple4) -> (rule3 % int4)) ((((triple5) -> (rule5 % int3)) ((triple4) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((triple5 ((((((triple4) -> (rule3 % int4))) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((triple5 ((((((triple4) -> (rule3 % int4))) -> (rule5 % int3)) ((triple4) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple4) -> (rule3 % int4)) ((((((triple4) -> (rule3 % int4))) -> (rule5 % int3)) triple5) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple4) -> (rule3 % int4)) ((((((triple4) -> (rule3 % int4))) -> (rule5 % int3)) ((triple4) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
((((((triple7) -> (rule3 % int3))) -> (rule5 % int2)) ((triple7) -> (rule3 % int3))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Erin is not rough.
("Erin" "is" "rough" "-")
((((triple5 ((((triple5) -> (rule5 % int4)) triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple5 ((((triple5) -> (rule5 % int5)) ((triple4) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple4) -> (rule3 % int5)) ((((triple5) -> (rule5 % int4)) triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple4) -> (rule3 % int5)) ((((triple5) -> (rule5 % int4)) ((triple4) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple5 ((((((triple4) -> (rule3 % int5))) -> (rule5 % int4)) triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple5 ((((((triple4) -> (rule3 % int5))) -> (rule5 % int4)) ((triple4) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple4) -> (rule3 % int5)) ((((((triple4) -> (rule3 % int5))) -> (rule5 % int4)) triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple4) -> (rule3 % int5)) ((((((triple4) -> (rule3 % int5))) -> (rule5 % int4)) ((triple4) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
((((triple7) -> (rule3 % int4)) ((((((triple7) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is not rough.
("Harry" "is" "rough" "-")
((((((triple7) -> (rule3 % int5)) ((((((triple7) -> (rule3 % int5))) -> (rule5 % int4)) ((triple7) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5