Alan is big and rough. Even though Charlie is green with envy he is nice with rosy red cheeks. Eric has a round,red,rough looking face with kind eyes. Even though he's young and green, Gary is rough. Green and blue, when found in one person, signify someone who is cold. Big people that have a rough demeanor usually feel blue. Being green and rough are signs that someone is big. Someone that is red and blue because they are cold are also round.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is green and blue then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Eric is round.
True
1
proof
[(triple6)]
("Eric" "is" "round" "+")
triple6
Alan is not rough.
False
1
inv-proof
[(triple1)]
("Alan" "is" "rough" "-")
triple1
Alan is blue.
True
3
proof
[(((triple2 triple1) -> rule2))]
("Alan" "is" "blue" "+")
((triple2 triple1) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple12 triple11) -> rule3))]
("Gary" "is" "big" "-")
((triple12 triple11) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
True
5
proof
[(((((triple12 triple11) -> rule3) triple11) -> rule2))]
("Gary" "is" "blue" "+")
((((triple12 triple11) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not blue.
False
5
inv-proof
[(((((triple12 triple11) -> rule3) triple11) -> rule2))]
("Gary" "is" "blue" "-")
((((triple12 triple11) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
True
7
proof
[(((triple12 ((((triple12 triple11) -> rule3) triple11) -> rule2)) -> rule1))]
("Gary" "is" "cold" "+")
((triple12 ((((triple12 triple11) -> (rule3 % int3)) triple11) -> (rule2 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not cold.
False
7
inv-proof
[(((triple12 ((((triple12 triple11) -> rule3) triple11) -> rule2)) -> rule1))]
("Gary" "is" "cold" "-")
((triple12 ((((triple12 triple11) -> (rule3 % int3)) triple11) -> (rule2 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is round.
Unknown
rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "round" "-")
Eric is blue.
Unknown
rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Eric" "is" "blue" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Alan is big.[(triple2)] Alan is rough.[(triple1)] Charlie is green.[(triple5)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Eric is kind.[(triple9)] Eric is red.[(triple8)] Eric is rough.[(triple7)] Eric is round.[(triple6)] Gary is green.[(triple12)] Gary is rough.[(triple11)] Gary is young.[(triple10)] @1: Alan is blue.[(((triple2 triple1) -> rule2))] Gary is big.[(((triple12 triple11) -> rule3))] @2: Gary is blue.[(((((triple12 triple11) -> rule3) triple11) -> rule2))] @3: Gary is cold.[(((triple12 ((((triple12 triple11) -> rule3) triple11) -> rule2)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple10
Alan is blue.
("Alan" "is" "blue" "+")
((triple2 triple1) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple12 triple11) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple12 triple11) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple12 ((((triple12 triple11) -> (rule3 % int3)) triple11) -> (rule2 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Alan is big and rough.
Even though Charlie is green with envy he is nice with rosy red cheeks.
Eric has a round,red,rough looking face with kind eyes.
Even though he's young and green, Gary is rough.
Green and blue, when found in one person, signify someone who is cold.
Big people that have a rough demeanor usually feel blue.
Being green and rough are signs that someone is big.
Someone that is red and blue because they are cold are also round.