Dave loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Eric is young, rough and green, but he turns blue when he is cold like anyone else. Fred is green, which is a possible explanation for why he is so nice. They always call him rough Harry. Most young, green people are kind and because of this they are round. A rather round and big person will be kind, but also blue. Nice young people who are round are also blue. When someone is blue, lives green they can be rough but kind. Anyone you find who happens to be kind and blue will also be very nice. When somebody is round, kind and blue, you know they'll also be red. A green and quite rough person will also be blue.
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is green and young and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is round and kind and big then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and young and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and kind and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Eric is green.
True
1
proof
[(triple6)]
("Eric" "is" "green" "+")
triple6
Fred is not green.
False
1
inv-proof
[(triple10)]
("Fred" "is" "green" "-")
triple10
Eric is kind.
True
4
proof
[(((triple8 triple5 triple6) -> rule4) OR ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4))]
("Eric" "is" "kind" "+")
((triple8 triple5 triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
((((triple5 triple6) -> (rule7 % int2)) triple5 triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not kind.
False
4
inv-proof
[(((triple8 triple5 triple6) -> rule4) OR ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4))]
("Eric" "is" "kind" "-")
((triple8 triple5 triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
((((triple5 triple6) -> (rule7 % int2)) triple5 triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
True
7
proof
[(((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) OR ((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1))]
("Eric" "is" "round" "+")
((triple6 triple4 ((triple8 triple5 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
((triple6 triple4 ((((triple5 triple6) -> (rule7 % int3)) triple5 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not nice.
False
6
inv-proof
[(((((triple8 triple5 triple6) -> rule4) triple8) -> rule5) OR ((((triple8 triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule5) OR ((((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) triple8) -> rule5) OR ((((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule5))]
("Eric" "is" "nice" "-")
((((triple8 triple5 triple6) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
((((triple8 triple5 triple6) -> (rule4 % int3)) ((triple5 triple6) -> (rule7 % int2))) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
((((((triple5 triple6) -> (rule7 % int3)) triple5 triple6) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((((((triple5 triple6) -> (rule7 % int3)) triple5 triple6) -> (rule4 % int2)) ((triple5 triple6) -> (rule7 % int3))) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is red.
True
13
proof
[(((((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) ((triple8 triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) ((triple8 triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule6) OR ((((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule6) OR ((((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1) ((triple8 triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1) ((triple8 triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule6) OR ((((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1) ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1) ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule6))]
("Eric" "is" "red" "+")
((((triple6 triple4 ((triple8 triple5 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((triple8 triple5 triple6) -> (rule4 % int3)) triple8) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
((((triple6 triple4 ((triple8 triple5 triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((triple8 triple5 triple6) -> (rule4 % int4)) ((triple5 triple6) -> (rule7 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((((triple6 triple4 ((triple8 triple5 triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple5 triple6) -> (rule7 % int2)) triple5 triple6) -> (rule4 % int4)) triple8) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((((triple6 triple4 ((triple8 triple5 triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple5 triple6) -> (rule7 % int2)) triple5 triple6) -> (rule4 % int4)) ((triple5 triple6) -> (rule7 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((((triple6 triple4 ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((triple8 triple5 triple6) -> (rule4 % int3)) triple8) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
((((triple6 triple4 ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((triple8 triple5 triple6) -> (rule4 % int3)) ((triple5 triple6) -> (rule7 % int4))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
((((triple6 triple4 ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3)) triple8) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
((((triple6 triple4 ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3)) ((triple5 triple6) -> (rule7 % int4))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is not red.
False
13
inv-proof
[(((((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) ((triple8 triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) ((triple8 triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule6) OR ((((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule6) OR ((((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1) ((triple8 triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1) ((triple8 triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule6) OR ((((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1) ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1) ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule6))]
("Eric" "is" "red" "-")
((((triple6 triple4 ((triple8 triple5 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((triple8 triple5 triple6) -> (rule4 % int3)) triple8) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
((((triple6 triple4 ((triple8 triple5 triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((triple8 triple5 triple6) -> (rule4 % int4)) ((triple5 triple6) -> (rule7 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((((triple6 triple4 ((triple8 triple5 triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple5 triple6) -> (rule7 % int2)) triple5 triple6) -> (rule4 % int4)) triple8) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((((triple6 triple4 ((triple8 triple5 triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple5 triple6) -> (rule7 % int2)) triple5 triple6) -> (rule4 % int4)) ((triple5 triple6) -> (rule7 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((((triple6 triple4 ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((triple8 triple5 triple6) -> (rule4 % int3)) triple8) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
((((triple6 triple4 ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((triple8 triple5 triple6) -> (rule4 % int3)) ((triple5 triple6) -> (rule7 % int4))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
((((triple6 triple4 ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3)) triple8) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
((((triple6 triple4 ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3)) ((triple5 triple6) -> (rule7 % int4))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "+")
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "kind" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "blue" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Dave is cold.[(triple3)] Dave is rough.[(triple2)] Dave is round.[(triple1)] Eric is blue.[(triple8 OR ((triple5 triple6) -> rule7))] Eric is cold.[(triple7)] Eric is green.[(triple6)] Eric is rough.[(triple5)] Eric is young.[(triple4)] Fred is green.[(triple10)] Fred is nice.[(triple9)] Harry is rough.[(triple11)] @1: Eric is kind.[(((triple8 triple5 triple6) -> rule4) OR ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4))] @2: Eric is nice.[(((((triple8 triple5 triple6) -> rule4) triple8) -> rule5) OR ((((triple8 triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule5) OR ((((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) triple8) -> rule5) OR ((((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule5))] Eric is round.[(((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) OR ((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1))] @3: Eric is red.[(((((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) ((triple8 triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) ((triple8 triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule6) OR ((((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple6 triple4 ((triple8 triple5 triple6) -> rule4)) -> rule1) ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule6) OR ((((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1) ((triple8 triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1) ((triple8 triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule6) OR ((((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1) ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) triple8) -> rule6) OR ((((triple6 triple4 ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4)) -> rule1) ((((triple5 triple6) -> rule7) triple5 triple6) -> rule4) ((triple5 triple6) -> rule7)) -> rule6))]
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple8
((triple5 triple6) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Fred is green.
("Fred" "is" "green" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Eric is kind.
("Eric" "is" "kind" "+")
((triple8 triple5 triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
((((triple5 triple6) -> (rule7 % int2)) triple5 triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((triple8 triple5 triple6) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
((((triple8 triple5 triple6) -> (rule4 % int3)) ((triple5 triple6) -> (rule7 % int2))) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
((((((triple5 triple6) -> (rule7 % int3)) triple5 triple6) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
((((((triple5 triple6) -> (rule7 % int3)) triple5 triple6) -> (rule4 % int2)) ((triple5 triple6) -> (rule7 % int3))) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
((triple6 triple4 ((triple8 triple5 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
((triple6 triple4 ((((triple5 triple6) -> (rule7 % int3)) triple5 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
((((triple6 triple4 ((triple8 triple5 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((triple8 triple5 triple6) -> (rule4 % int3)) triple8) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
((((triple6 triple4 ((triple8 triple5 triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((triple8 triple5 triple6) -> (rule4 % int4)) ((triple5 triple6) -> (rule7 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((((triple6 triple4 ((triple8 triple5 triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple5 triple6) -> (rule7 % int2)) triple5 triple6) -> (rule4 % int4)) triple8) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((((triple6 triple4 ((triple8 triple5 triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple5 triple6) -> (rule7 % int2)) triple5 triple6) -> (rule4 % int4)) ((triple5 triple6) -> (rule7 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((((triple6 triple4 ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((triple8 triple5 triple6) -> (rule4 % int3)) triple8) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
((((triple6 triple4 ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((triple8 triple5 triple6) -> (rule4 % int3)) ((triple5 triple6) -> (rule7 % int4))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
((((triple6 triple4 ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3)) triple8) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
((((triple6 triple4 ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple5 triple6) -> (rule7 % int4)) triple5 triple6) -> (rule4 % int3)) ((triple5 triple6) -> (rule7 % int4))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Dave loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
Eric is young, rough and green, but he turns blue when he is cold like anyone else.
Fred is green, which is a possible explanation for why he is so nice.
They always call him rough Harry.
Most young, green people are kind and because of this they are round.
A rather round and big person will be kind, but also blue.
Nice young people who are round are also blue.
When someone is blue, lives green they can be rough but kind.
Anyone you find who happens to be kind and blue will also be very nice.
When somebody is round, kind and blue, you know they'll also be red.
A green and quite rough person will also be blue.