The big young man with the round body who seems to be having a rough time due to being green is named Eric. Gary ate some rotten meat and now feels green. You should meet Harry, he is big and rough on the football field but also very young in age. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. Someone who is round in shape and green in color is usually cold. If you meet a nice, young, red man, you will see that they are big too. If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children. People who are blue and cold are red. Nobody who is round and rough and big can keep themselves from being nice. Big,cold,kind people tend to be red in color to others.
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and nice and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and nice and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is young and big and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and cold then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is round and rough and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and big and cold then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Eric is big.
True
1
proof
[(triple5)]
("Eric" "is" "big" "+")
triple5
Eric is not rough.
False
1
inv-proof
[(triple3)]
("Eric" "is" "rough" "-")
triple3
Eric is cold.
True
3
proof
[(((triple4 triple2) -> rule2))]
("Eric" "is" "cold" "+")
((triple4 triple2) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not cold.
False
3
inv-proof
[(((triple4 triple2) -> rule2))]
("Eric" "is" "cold" "-")
((triple4 triple2) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
True
7
proof
[(((triple1 triple5 ((triple2 triple3 triple5) -> rule6)) -> rule4))]
("Eric" "is" "kind" "+")
((triple1 triple5 ((triple2 triple3 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is not kind.
False
7
inv-proof
[(((triple1 triple5 ((triple2 triple3 triple5) -> rule6)) -> rule4))]
("Eric" "is" "kind" "-")
((triple1 triple5 ((triple2 triple3 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
True
12
proof
[(((((triple1 triple5 ((triple2 triple3 triple5) -> rule6)) -> rule4) triple5 ((triple4 triple2) -> rule2)) -> rule7))]
("Eric" "is" "red" "+")
((((triple1 triple5 ((triple2 triple3 triple5) -> (rule6 % int4))) -> (rule4 % int3)) triple5 ((triple4 triple2) -> (rule2 % int2))) -> (rule7 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
int4
Eric is not red.
False
12
inv-proof
[(((((triple1 triple5 ((triple2 triple3 triple5) -> rule6)) -> rule4) triple5 ((triple4 triple2) -> rule2)) -> rule7))]
("Eric" "is" "red" "-")
((((triple1 triple5 ((triple2 triple3 triple5) -> (rule6 % int4))) -> (rule4 % int3)) triple5 ((triple4 triple2) -> (rule2 % int2))) -> (rule7 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
int4
Eric is blue.
True
18
proof
[(((triple3 ((triple2 triple3 triple5) -> rule6) ((((triple1 triple5 ((triple2 triple3 triple5) -> rule6)) -> rule4) triple5 ((triple4 triple2) -> rule2)) -> rule7)) -> rule1))]
("Eric" "is" "blue" "+")
((triple3 ((triple2 triple3 triple5) -> (rule6 % int5)) ((((triple1 triple5 ((triple2 triple3 triple5) -> (rule6 % int5))) -> (rule4 % int4)) triple5 ((triple4 triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is nice.
("Eric" "is" "nice" "+")
int5
Eric is not blue.
False
18
inv-proof
[(((triple3 ((triple2 triple3 triple5) -> rule6) ((((triple1 triple5 ((triple2 triple3 triple5) -> rule6)) -> rule4) triple5 ((triple4 triple2) -> rule2)) -> rule7)) -> rule1))]
("Eric" "is" "blue" "-")
((triple3 ((triple2 triple3 triple5) -> (rule6 % int5)) ((((triple1 triple5 ((triple2 triple3 triple5) -> (rule6 % int5))) -> (rule4 % int4)) triple5 ((triple4 triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is nice.
("Eric" "is" "nice" "+")
int5
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "kind" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "nice" "+")
Harry is not red.
Unknown
inv-rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Harry" "is" "red" "-")
Gary is red.
Unknown
rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Eric is big.[(triple5)] Eric is green.[(triple4)] Eric is rough.[(triple3)] Eric is round.[(triple2)] Eric is young.[(triple1)] Gary is green.[(triple6)] Harry is big.[(triple9)] Harry is rough.[(triple8)] Harry is young.[(triple7)] @1: Eric is cold.[(((triple4 triple2) -> rule2))] Eric is nice.[(((triple2 triple3 triple5) -> rule6))] @2: Eric is kind.[(((triple1 triple5 ((triple2 triple3 triple5) -> rule6)) -> rule4))] @3: Eric is red.[(((((triple1 triple5 ((triple2 triple3 triple5) -> rule6)) -> rule4) triple5 ((triple4 triple2) -> rule2)) -> rule7))] @4: Eric is blue.[(((triple3 ((triple2 triple3 triple5) -> rule6) ((((triple1 triple5 ((triple2 triple3 triple5) -> rule6)) -> rule4) triple5 ((triple4 triple2) -> rule2)) -> rule7)) -> rule1))]
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Eric is round.
("Eric" "is" "round" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
((triple4 triple2) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple2 triple3 triple5) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple1 triple5 ((triple2 triple3 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((((triple1 triple5 ((triple2 triple3 triple5) -> (rule6 % int4))) -> (rule4 % int3)) triple5 ((triple4 triple2) -> (rule2 % int2))) -> (rule7 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
int4
Eric is blue.
("Eric" "is" "blue" "+")
((triple3 ((triple2 triple3 triple5) -> (rule6 % int5)) ((((triple1 triple5 ((triple2 triple3 triple5) -> (rule6 % int5))) -> (rule4 % int4)) triple5 ((triple4 triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is nice.
("Eric" "is" "nice" "+")
int5
The big young man with the round body who seems to be having a rough time due to being green is named Eric.
Gary ate some rotten meat and now feels green.
You should meet Harry, he is big and rough on the football field but also very young in age.
People who are nice but a rough around the edges and turn red in the fun feel sad and blue.
Someone who is round in shape and green in color is usually cold.
If you meet a nice, young, red man, you will see that they are big too.
If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children.
People who are blue and cold are red.
Nobody who is round and rough and big can keep themselves from being nice.
Big,cold,kind people tend to be red in color to others.