Dave is not big. Dave is furry. Dave is round. Erin is furry. Erin is red. Erin is rough. Gary is green. Harry is cold. Harry is furry. Harry is green. Furry people are round. If someone is rough and red then they are round. Red people are big. If Dave is cold then Dave is not red. If someone is round and cold then they are red. If someone is big and round then they are red. All green people are furry. Cold, rough people are not furry. All round, green people are cold.
Dave is not big.
("Dave" "is" "big" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and red then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If Dave is cold then Dave is not red.
((("Dave" "is" "cold" "+")) -> ("Dave" "is" "red" "-"))
If someone is round and cold then they are red.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is big and round then they are red.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
All green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Cold, rough people are not furry.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "-"))
All round, green people are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Dave is not big.
True
1
proof
[(triple1)]
("Dave" "is" "big" "-")
triple1
Dave is not round.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule1))]
("Dave" "is" "round" "-")
triple3
((triple2) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Gary is furry.
True
2
proof
[(((triple7) -> rule7))]
("Gary" "is" "furry" "+")
((triple7) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple9) -> rule1) OR ((((triple10) -> rule7)) -> rule1))]
("Harry" "is" "round" "-")
((triple9) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is red.
True
4
proof
[(((((triple9) -> rule1) triple8) -> rule5) OR ((((((triple10) -> rule7)) -> rule1) triple8) -> rule5) OR ((((triple9) -> rule1) ((((triple9) -> rule1) triple10) -> rule9)) -> rule5) OR ((((((triple10) -> rule7)) -> rule1) ((((triple9) -> rule1) triple10) -> rule9)) -> rule5) OR ((((triple9) -> rule1) ((((((triple10) -> rule7)) -> rule1) triple10) -> rule9)) -> rule5) OR ((((((triple10) -> rule7)) -> rule1) ((((((triple10) -> rule7)) -> rule1) triple10) -> rule9)) -> rule5))]
("Harry" "is" "red" "+")
((((triple9) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((((triple10) -> (rule7 % int3))) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple9) -> (rule1 % int3)) ((((triple9) -> (rule1 % int3)) triple10) -> (rule9 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple10) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule1 % int3)) triple10) -> (rule9 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple9) -> (rule1 % int4)) ((((((triple10) -> (rule7 % int3))) -> (rule1 % int4)) triple10) -> (rule9 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple10) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple10) -> (rule7 % int4))) -> (rule1 % int3)) triple10) -> (rule9 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Gary is not round.
False
3
inv-proof
[(((((triple7) -> rule7)) -> rule1))]
("Gary" "is" "round" "-")
((((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
True
5
proof
[(((((((triple7) -> rule7)) -> rule1) triple7) -> rule9))]
("Gary" "is" "cold" "+")
((((((triple7) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule9 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Harry is not big.
False
5
inv-proof
[(((((((triple9) -> rule1) triple8) -> rule5)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule1) triple8) -> rule5)) -> rule3) OR ((((((triple9) -> rule1) ((((triple9) -> rule1) triple10) -> rule9)) -> rule5)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule1) ((((triple9) -> rule1) triple10) -> rule9)) -> rule5)) -> rule3) OR ((((((triple9) -> rule1) ((((((triple10) -> rule7)) -> rule1) triple10) -> rule9)) -> rule5)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule1) ((((((triple10) -> rule7)) -> rule1) triple10) -> rule9)) -> rule5)) -> rule3))]
("Harry" "is" "big" "-")
((((((triple9) -> (rule1 % int3)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((((triple10) -> (rule7 % int4))) -> (rule1 % int3)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple9) -> (rule1 % int4)) ((((triple9) -> (rule1 % int4)) triple10) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((((triple10) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple9) -> (rule1 % int4)) triple10) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((((triple9) -> (rule1 % int5)) ((((((triple10) -> (rule7 % int4))) -> (rule1 % int5)) triple10) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple10) -> (rule7 % int5))) -> (rule1 % int4)) ((((((triple10) -> (rule7 % int5))) -> (rule1 % int4)) triple10) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Gary is red.
True
9
proof
[(((((((triple7) -> rule7)) -> rule1) ((((((triple7) -> rule7)) -> rule1) triple7) -> rule9)) -> rule5))]
("Gary" "is" "red" "+")
((((((triple7) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple7) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule9 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is not red.
False
9
inv-proof
[(((((((triple7) -> rule7)) -> rule1) ((((((triple7) -> rule7)) -> rule1) triple7) -> rule9)) -> rule5))]
("Gary" "is" "red" "-")
((((((triple7) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple7) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule9 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is big.
True
10
proof
[(((((((((triple7) -> rule7)) -> rule1) ((((((triple7) -> rule7)) -> rule1) triple7) -> rule9)) -> rule5)) -> rule3))]
("Gary" "is" "big" "+")
((((((((triple7) -> (rule7 % int5))) -> (rule1 % int4)) ((((((triple7) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is not big.
False
10
inv-proof
[(((((((((triple7) -> rule7)) -> rule1) ((((((triple7) -> rule7)) -> rule1) triple7) -> rule9)) -> rule5)) -> rule3))]
("Gary" "is" "big" "-")
((((((((triple7) -> (rule7 % int5))) -> (rule1 % int4)) ((((((triple7) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Dave is not red.
Unknown
inv-rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule5 <- rule9 <- FAIL)]]
("Dave" "is" "red" "-")
Erin is cold.
Unknown
rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Erin" "is" "cold" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Dave" "is" "cold" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Dave is furry.[(triple2)] Dave is not big.[(triple1)] Dave is round.[(triple3 OR ((triple2) -> rule1))] Erin is furry.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Gary is green.[(triple7)] Harry is cold.[(triple8 OR ((((triple9) -> rule1) triple10) -> rule9) OR ((((((triple10) -> rule7)) -> rule1) triple10) -> rule9))] Harry is furry.[(triple9 OR ((triple10) -> rule7))] Harry is green.[(triple10)] @1: Erin is big.[(((triple5) -> rule3))] Erin is round.[(((triple4) -> rule1) OR ((triple6 triple5) -> rule2))] Gary is furry.[(((triple7) -> rule7))] Harry is round.[(((triple9) -> rule1) OR ((((triple10) -> rule7)) -> rule1))] @2: Gary is round.[(((((triple7) -> rule7)) -> rule1))] Harry is red.[(((((triple9) -> rule1) triple8) -> rule5) OR ((((((triple10) -> rule7)) -> rule1) triple8) -> rule5) OR ((((triple9) -> rule1) ((((triple9) -> rule1) triple10) -> rule9)) -> rule5) OR ((((((triple10) -> rule7)) -> rule1) ((((triple9) -> rule1) triple10) -> rule9)) -> rule5) OR ((((triple9) -> rule1) ((((((triple10) -> rule7)) -> rule1) triple10) -> rule9)) -> rule5) OR ((((((triple10) -> rule7)) -> rule1) ((((((triple10) -> rule7)) -> rule1) triple10) -> rule9)) -> rule5))] @3: Gary is cold.[(((((((triple7) -> rule7)) -> rule1) triple7) -> rule9))] Harry is big.[(((((((triple9) -> rule1) triple8) -> rule5)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule1) triple8) -> rule5)) -> rule3) OR ((((((triple9) -> rule1) ((((triple9) -> rule1) triple10) -> rule9)) -> rule5)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule1) ((((triple9) -> rule1) triple10) -> rule9)) -> rule5)) -> rule3) OR ((((((triple9) -> rule1) ((((((triple10) -> rule7)) -> rule1) triple10) -> rule9)) -> rule5)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule1) ((((((triple10) -> rule7)) -> rule1) triple10) -> rule9)) -> rule5)) -> rule3))] @4: Gary is red.[(((((((triple7) -> rule7)) -> rule1) ((((((triple7) -> rule7)) -> rule1) triple7) -> rule9)) -> rule5))] @5: Gary is big.[(((((((((triple7) -> rule7)) -> rule1) ((((((triple7) -> rule7)) -> rule1) triple7) -> rule9)) -> rule5)) -> rule3))]
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is not big.
("Dave" "is" "big" "-")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple3
((triple2) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple8
((((triple9) -> (rule1 % int2)) triple10) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((((triple10) -> (rule7 % int3))) -> (rule1 % int2)) triple10) -> (rule9 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
triple9
((triple10) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple10
Erin is big.
("Erin" "is" "big" "+")
((triple5) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple4) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple6 triple5) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple7) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple9) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((triple9) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((((triple10) -> (rule7 % int3))) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple9) -> (rule1 % int3)) ((((triple9) -> (rule1 % int3)) triple10) -> (rule9 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple10) -> (rule7 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule1 % int3)) triple10) -> (rule9 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple9) -> (rule1 % int4)) ((((((triple10) -> (rule7 % int3))) -> (rule1 % int4)) triple10) -> (rule9 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple10) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple10) -> (rule7 % int4))) -> (rule1 % int3)) triple10) -> (rule9 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
((((((triple7) -> (rule7 % int3))) -> (rule1 % int2)) triple7) -> (rule9 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((((((triple9) -> (rule1 % int3)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((((triple10) -> (rule7 % int4))) -> (rule1 % int3)) triple8) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple9) -> (rule1 % int4)) ((((triple9) -> (rule1 % int4)) triple10) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((((triple10) -> (rule7 % int5))) -> (rule1 % int4)) ((((triple9) -> (rule1 % int4)) triple10) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((((triple9) -> (rule1 % int5)) ((((((triple10) -> (rule7 % int4))) -> (rule1 % int5)) triple10) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple10) -> (rule7 % int5))) -> (rule1 % int4)) ((((((triple10) -> (rule7 % int5))) -> (rule1 % int4)) triple10) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
((((((triple7) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple7) -> (rule7 % int4))) -> (rule1 % int3)) triple7) -> (rule9 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
((((((((triple7) -> (rule7 % int5))) -> (rule1 % int4)) ((((((triple7) -> (rule7 % int5))) -> (rule1 % int4)) triple7) -> (rule9 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5