Alan is known to be rough and green. Eric is young and rough and comes across as cold, but he is just young and green. Really, he is as nice and kind as you could want. My friend Fred is very young. People say he is nice for having a round shape. In the snow sits Gary, crying from being cold. If people are cold they are often red. People who are blue and green are nice. Most of the people that are big and nice with green eyes, will be round. Round people who feel rough also always feel cold,. You know when you meet a red, blue and kind person, that means they are green. If a person is red and green, then they will present as big. Big people, round in the middle and having rough skin are nice because they know what it's like to be made fun of.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is green.
("Alan" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and green then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and nice and green then they are round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and blue and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and round and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Gary is cold.
True
1
proof
[(triple12)]
("Gary" "is" "cold" "+")
triple12
Fred is not nice.
False
1
inv-proof
[(triple11)]
("Fred" "is" "nice" "-")
triple11
Gary is red.
True
2
proof
[(((triple12) -> rule1))]
("Gary" "is" "red" "+")
((triple12) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Eric is not red.
False
2
inv-proof
[(((triple8) -> rule1))]
("Eric" "is" "red" "-")
((triple8) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is big.
True
4
proof
[(((((triple8) -> rule1) triple7) -> rule6))]
("Eric" "is" "big" "+")
((((triple8) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not big.
False
4
inv-proof
[(((((triple8) -> rule1) triple7) -> rule6))]
("Eric" "is" "big" "-")
((((triple8) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
True
7
proof
[(((((((triple8) -> rule1) triple7) -> rule6) triple5 triple7) -> rule3))]
("Eric" "is" "round" "+")
((((((triple8) -> (rule1 % int3)) triple7) -> (rule6 % int2)) triple5 triple7) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not round.
False
7
inv-proof
[(((((((triple8) -> rule1) triple7) -> rule6) triple5 triple7) -> rule3))]
("Eric" "is" "round" "-")
((((((triple8) -> (rule1 % int3)) triple7) -> (rule6 % int2)) triple5 triple7) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "green" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "cold" "+")
Alan is not cold.
Unknown
inv-rconc
[@3: Alan is cold.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule2 <- FAIL)]]
("Alan" "is" "cold" "-")
Fred is big.
Unknown
rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Alan is green.[(triple2)] Alan is rough.[(triple1)] Eric is cold.[(triple8)] Eric is green.[(triple7)] Eric is kind.[(triple6)] Eric is nice.[(triple5)] Eric is rough.[(triple4)] Eric is young.[(triple3)] Fred is nice.[(triple11)] Fred is round.[(triple10)] Fred is young.[(triple9)] Gary is cold.[(triple12)] @1: Eric is red.[(((triple8) -> rule1))] Gary is red.[(((triple12) -> rule1))] @2: Eric is big.[(((((triple8) -> rule1) triple7) -> rule6))] @3: Eric is round.[(((((((triple8) -> rule1) triple7) -> rule6) triple5 triple7) -> rule3))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is nice.
("Fred" "is" "nice" "+")
triple11
Fred is round.
("Fred" "is" "round" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Eric is red.
("Eric" "is" "red" "+")
((triple8) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple12) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((((triple8) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((((((triple8) -> (rule1 % int3)) triple7) -> (rule6 % int2)) triple5 triple7) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Alan is known to be rough and green.
Eric is young and rough and comes across as cold, but he is just young and green; Really, he is as nice and kind as you could want.
My friend Fred is very young; People say he is nice for having a round shape.
In the snow sits Gary, crying from being cold.
If people are cold they are often red.
People who are blue and green are nice.
Most of the people that are big and nice with green eyes, will be round.
Round people who feel rough also always feel cold,.
You know when you meet a red, blue and kind person, that means they are green.
If a person is red and green, then they will present as big.
Big people, round in the middle and having rough skin are nice because they know what it's like to be made fun of.