Alan always goes out of his way to show that he is kind to people. Upon meeting Eric, you'll notice he's green and kind. Fred loves desserts which has made him quite round.  He's a nice guy and loves the outdoors.  Recently he went skiing and his skin turned blue int he cold.  He jumped in the hot tub and turned red as a beet. When you meet someone round, blue and nice they are as a rule rough. Being a kind person even when you are blue is hard, but it means you are round with delight. Young people with red skin who are a bit downhearted and blue are kind. Often, when you meet a rough person with red skin, you'll see that they are young too. If a kind person is also young and round shaped, they will be colored blue. Julie is really nice to gardeners since she has a green thumb.
Alan is kind.
("Alan" "is" "kind" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is young and blue and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and red then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Fred is round.
True
1
proof
[(triple4)]
("Fred" "is" "round" "+")
triple4
Fred is not red.
False
1
inv-proof
[(triple5)]
("Fred" "is" "red" "-")
triple5
Fred is rough.
True
4
proof
[(((triple8 triple6 triple4) -> rule1))]
("Fred" "is" "rough" "+")
((triple8 triple6 triple4) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
4
inv-proof
[(((triple8 triple6 triple4) -> rule1))]
("Fred" "is" "rough" "-")
((triple8 triple6 triple4) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is young.
True
6
proof
[(((((triple8 triple6 triple4) -> rule1) triple5) -> rule4))]
("Fred" "is" "young" "+")
((((triple8 triple6 triple4) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not young.
False
6
inv-proof
[(((((triple8 triple6 triple4) -> rule1) triple5) -> rule4))]
("Fred" "is" "young" "-")
((((triple8 triple6 triple4) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is kind.
True
9
proof
[(((((((triple8 triple6 triple4) -> rule1) triple5) -> rule4) triple8 triple5) -> rule3))]
("Fred" "is" "kind" "+")
((((((triple8 triple6 triple4) -> (rule1 % int3)) triple5) -> (rule4 % int2)) triple8 triple5) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not kind.
False
9
inv-proof
[(((((((triple8 triple6 triple4) -> rule1) triple5) -> rule4) triple8 triple5) -> rule3))]
("Fred" "is" "kind" "-")
((((((triple8 triple6 triple4) -> (rule1 % int3)) triple5) -> (rule4 % int2)) triple8 triple5) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "green" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "rough" "+")
Alan is not blue.
Unknown
inv-rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Alan" "is" "blue" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "young" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Alan is kind.[(triple1)] Eric is green.[(triple3)] Eric is kind.[(triple2)] Fred is blue.[(triple8)] Fred is cold.[(triple7)] Fred is nice.[(triple6)] Fred is red.[(triple5)] Fred is round.[(triple4)] @1: Fred is green.[(((triple6) -> rule6))] Fred is rough.[(((triple8 triple6 triple4) -> rule1))] @2: Fred is young.[(((((triple8 triple6 triple4) -> rule1) triple5) -> rule4))] @3: Fred is kind.[(((((((triple8 triple6 triple4) -> rule1) triple5) -> rule4) triple8 triple5) -> rule3))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple3
Eric is kind.
("Eric" "is" "kind" "+")
triple2
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Fred is green.
("Fred" "is" "green" "+")
((triple6) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple8 triple6 triple4) -> (rule1 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((((triple8 triple6 triple4) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((((((triple8 triple6 triple4) -> (rule1 % int3)) triple5) -> (rule4 % int2)) triple8 triple5) -> (rule3 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Alan always goes out of his way to show that he is kind to people.
Upon meeting Eric, you'll notice he's green and kind.
Fred loves desserts which has made him quite round; He's a nice guy and loves the outdoors; Recently he went skiing and his skin turned blue int he cold; He jumped in the hot tub and turned red as a beet.
When you meet someone round, blue and nice they are as a rule rough.
Being a kind person even when you are blue is hard, but it means you are round with delight.
Young people with red skin who are a bit downhearted and blue are kind.
Often, when you meet a rough person with red skin, you'll see that they are young too.
If a kind person is also young and round shaped, they will be colored blue.
Julie is really nice to gardeners since she has a green thumb.