Charlie ate some rotten meat and now feels green. In the snow sits Eric, crying from being cold. Big, kind Fred is so very blue and red, but a nice person. A person that has a round big body shape and has a bit of a rough personality will have a green skin tone. A rough and round person is also a big person. People who are cold even when they're nice and round, they are young. Kind people who look green are almost always young in age. People who are considered rough, blue, and nice, are also green. Anyone will tell you the kind and the big are also rough. If someone is red and green and feeels rough, they are kind.
Charlie is green.
("Charlie" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is round and rough and big then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and round and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is green and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and blue and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is big and kind then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and green and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Fred is big.
True
1
proof
[(triple7)]
("Fred" "is" "big" "+")
triple7
Fred is not blue.
False
1
inv-proof
[(triple6)]
("Fred" "is" "blue" "-")
triple6
Fred is rough.
True
3
proof
[(((triple7 triple5) -> rule6))]
("Fred" "is" "rough" "+")
((triple7 triple5) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
3
inv-proof
[(((triple7 triple5) -> rule6))]
("Fred" "is" "rough" "-")
((triple7 triple5) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
True
6
proof
[(((((triple7 triple5) -> rule6) triple6 triple4) -> rule5))]
("Fred" "is" "green" "+")
((((triple7 triple5) -> (rule6 % int2)) triple6 triple4) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not green.
False
6
inv-proof
[(((((triple7 triple5) -> rule6) triple6 triple4) -> rule5))]
("Fred" "is" "green" "-")
((((triple7 triple5) -> (rule6 % int2)) triple6 triple4) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is young.
True
8
proof
[(((((((triple7 triple5) -> rule6) triple6 triple4) -> rule5) triple5) -> rule4))]
("Fred" "is" "young" "+")
((((((triple7 triple5) -> (rule6 % int3)) triple6 triple4) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not young.
False
8
inv-proof
[(((((((triple7 triple5) -> rule6) triple6 triple4) -> rule5) triple5) -> rule4))]
("Fred" "is" "young" "-")
((((((triple7 triple5) -> (rule6 % int3)) triple6 triple4) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Charlie is not young.
Unknown
inv-rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Charlie" "is" "young" "-")
Eric is young.
Unknown
rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Eric" "is" "young" "+")
Eric is not rough.
Unknown
inv-rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Eric" "is" "rough" "-")
Charlie is rough.
Unknown
rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Charlie" "is" "rough" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Charlie is green.[(triple1)] Eric is cold.[(triple2)] Fred is big.[(triple7)] Fred is blue.[(triple6)] Fred is kind.[(triple5)] Fred is nice.[(triple4)] Fred is red.[(triple3)] @1: Fred is rough.[(((triple7 triple5) -> rule6))] @2: Fred is green.[(((((triple7 triple5) -> rule6) triple6 triple4) -> rule5))] @3: Fred is young.[(((((((triple7 triple5) -> rule6) triple6 triple4) -> rule5) triple5) -> rule4))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Fred is nice.
("Fred" "is" "nice" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
triple3
Fred is rough.
("Fred" "is" "rough" "+")
((triple7 triple5) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((((triple7 triple5) -> (rule6 % int2)) triple6 triple4) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((((((triple7 triple5) -> (rule6 % int3)) triple6 triple4) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Charlie ate some rotten meat and now feels green.
In the snow sits Eric, crying from being cold.
Big, kind Fred is so very blue and red, but a nice person.
A person that has a round big body shape and has a bit of a rough personality will have a green skin tone.
A rough and round person is also a big person.
People who are cold even when they're nice and round, they are young.
Kind people who look green are almost always young in age.
People who are considered rough, blue, and nice, are also green.
Anyone will tell you the kind and the big are also rough.
If someone is red and green and feeels rough, they are kind.