If you met Alan you will see that he is round and red, but he is cold. Charlie is a kind and red colored guy. Eric is too young to be so big. Some say he is too green to be so blue as well. Gary is blue from ink he spilled on himself while being kind and helping some children paint. A cold and young aged person will be big for sure. Big and green people who feel cold are usually young in age. Anybody who is so cold that they are red and blue must be young. If a nice person is round shaped, they feel blue about it. A person who is round shaped while also being quite cold tends to be nice. Nice green people who feel blue are often red in color. Kind people,though green,are cold.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is young and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is green and big and cold then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red and cold then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and blue and nice then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Alan is cold.
True
1
proof
[(triple3)]
("Alan" "is" "cold" "+")
triple3
Gary is not blue.
False
1
inv-proof
[(triple11)]
("Gary" "is" "blue" "-")
triple11
Alan is nice.
True
3
proof
[(((triple1 triple3) -> rule5))]
("Alan" "is" "nice" "+")
((triple1 triple3) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is not nice.
False
3
inv-proof
[(((triple1 triple3) -> rule5))]
("Alan" "is" "nice" "-")
((triple1 triple3) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
True
5
proof
[(((((triple1 triple3) -> rule5) triple1) -> rule4))]
("Alan" "is" "blue" "+")
((((triple1 triple3) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is not blue.
False
5
inv-proof
[(((((triple1 triple3) -> rule5) triple1) -> rule4))]
("Alan" "is" "blue" "-")
((((triple1 triple3) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
True
8
proof
[(((((((triple1 triple3) -> rule5) triple1) -> rule4) triple2 triple3) -> rule3))]
("Alan" "is" "young" "+")
((((((triple1 triple3) -> (rule5 % int3)) triple1) -> (rule4 % int2)) triple2 triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is not young.
False
8
inv-proof
[(((((((triple1 triple3) -> rule5) triple1) -> rule4) triple2 triple3) -> rule3))]
("Alan" "is" "young" "-")
((((((triple1 triple3) -> (rule5 % int3)) triple1) -> (rule4 % int2)) triple2 triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is big.
True
10
proof
[(((((((((triple1 triple3) -> rule5) triple1) -> rule4) triple2 triple3) -> rule3) triple3) -> rule1))]
("Alan" "is" "big" "+")
((((((((triple1 triple3) -> (rule5 % int4)) triple1) -> (rule4 % int3)) triple2 triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Alan is not big.
False
10
inv-proof
[(((((((((triple1 triple3) -> rule5) triple1) -> rule4) triple2 triple3) -> rule3) triple3) -> rule1))]
("Alan" "is" "big" "-")
((((((((triple1 triple3) -> (rule5 % int4)) triple1) -> (rule4 % int3)) triple2 triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "cold" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not big.
Unknown
inv-rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Gary" "is" "big" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Alan is cold.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Charlie is kind.[(triple5)] Charlie is red.[(triple4)] Eric is big.[(triple9)] Eric is blue.[(triple8)] Eric is green.[(triple7)] Eric is young.[(triple6)] Gary is blue.[(triple11)] Gary is kind.[(triple10)] @1: Alan is nice.[(((triple1 triple3) -> rule5))] @2: Alan is blue.[(((((triple1 triple3) -> rule5) triple1) -> rule4))] @3: Alan is young.[(((((((triple1 triple3) -> rule5) triple1) -> rule4) triple2 triple3) -> rule3))] @4: Alan is big.[(((((((((triple1 triple3) -> rule5) triple1) -> rule4) triple2 triple3) -> rule3) triple3) -> rule1))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Alan is nice.
("Alan" "is" "nice" "+")
((triple1 triple3) -> (rule5 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((((triple1 triple3) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((((((triple1 triple3) -> (rule5 % int3)) triple1) -> (rule4 % int2)) triple2 triple3) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
((((((((triple1 triple3) -> (rule5 % int4)) triple1) -> (rule4 % int3)) triple2 triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
int4
If you met Alan you will see that he is round and red, but he is cold.
Charlie is a kind and red colored guy.
Eric is too young to be so big; Some say he is too green to be so blue as well.
Gary is blue from ink he spilled on himself while being kind and helping some children paint.
A cold and young aged person will be big for sure.
Big and green people who feel cold are usually young in age.
Anybody who is so cold that they are red and blue must be young.
If a nice person is round shaped, they feel blue about it.
A person who is round shaped while also being quite cold tends to be nice.
Nice green people who feel blue are often red in color.
Kind people,though green,are cold.