Alan has a round face and is very nice. Charlie vowed to always be rough, cold, blue, and big as possible. Eric is young and green, so although he is rough and blue with sadness, he'll grow out of it. Gary always goes out of his way to show that he is kind to people. Their actions reflected how young and kind but green they were making things seem blue. You will find that a big, young, blue person is also quite round. When a person can be described as blue, rough and round, you can call them nice at the same time. A round shaped and young aged person will be very cold. A young person who is red and green is also going to look round. Nice people who are big are always cold because they can't find space near the heater. Ifa blue and green colored person is rough then they must be big shaped.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is young and kind and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and big and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is round and blue and rough then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and green and red then they are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and green and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Gary is kind.
True
1
proof
[(triple11)]
("Gary" "is" "kind" "+")
triple11
Eric is not rough.
False
1
inv-proof
[(triple8)]
("Eric" "is" "rough" "-")
triple8
Eric is big.
True
4
proof
[(((triple10 triple9 triple8) -> rule7))]
("Eric" "is" "big" "+")
((triple10 triple9 triple8) -> (rule7 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
4
inv-proof
[(((triple10 triple9 triple8) -> rule7))]
("Eric" "is" "big" "-")
((triple10 triple9 triple8) -> (rule7 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
True
7
proof
[(((triple7 ((triple10 triple9 triple8) -> rule7) triple10) -> rule2))]
("Eric" "is" "round" "+")
((triple7 ((triple10 triple9 triple8) -> (rule7 % int2)) triple10) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not round.
False
7
inv-proof
[(((triple7 ((triple10 triple9 triple8) -> rule7) triple10) -> rule2))]
("Eric" "is" "round" "-")
((triple7 ((triple10 triple9 triple8) -> (rule7 % int2)) triple10) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is nice.
True
10
proof
[(((((triple7 ((triple10 triple9 triple8) -> rule7) triple10) -> rule2) triple10 triple8) -> rule3))]
("Eric" "is" "nice" "+")
((((triple7 ((triple10 triple9 triple8) -> (rule7 % int3)) triple10) -> (rule2 % int2)) triple10 triple8) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not nice.
False
10
inv-proof
[(((((triple7 ((triple10 triple9 triple8) -> rule7) triple10) -> rule2) triple10 triple8) -> rule3))]
("Eric" "is" "nice" "-")
((((triple7 ((triple10 triple9 triple8) -> (rule7 % int3)) triple10) -> (rule2 % int2)) triple10 triple8) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "-")
Gary is cold.
Unknown
rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Gary" "is" "cold" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "big" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "blue" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Alan is nice.[(triple2)] Alan is round.[(triple1)] Charlie is big.[(triple6)] Charlie is blue.[(triple5)] Charlie is cold.[(triple4)] Charlie is rough.[(triple3)] Eric is blue.[(triple10)] Eric is green.[(triple9)] Eric is rough.[(triple8)] Eric is young.[(triple7)] Gary is kind.[(triple11)] @1: Eric is big.[(((triple10 triple9 triple8) -> rule7))] @2: Eric is round.[(((triple7 ((triple10 triple9 triple8) -> rule7) triple10) -> rule2))] @3: Eric is cold.[(((((triple7 ((triple10 triple9 triple8) -> rule7) triple10) -> rule2) triple7) -> rule4) OR ((((triple10 triple9 triple8) -> rule7) ((((triple7 ((triple10 triple9 triple8) -> rule7) triple10) -> rule2) triple10 triple8) -> rule3)) -> rule6))] Eric is nice.[(((((triple7 ((triple10 triple9 triple8) -> rule7) triple10) -> rule2) triple10 triple8) -> rule3))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple10
Eric is green.
("Eric" "is" "green" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Eric is big.
("Eric" "is" "big" "+")
((triple10 triple9 triple8) -> (rule7 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple7 ((triple10 triple9 triple8) -> (rule7 % int2)) triple10) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((((triple7 ((triple10 triple9 triple8) -> (rule7 % int3)) triple10) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
((((triple10 triple9 triple8) -> (rule7 % int4)) ((((triple7 ((triple10 triple9 triple8) -> (rule7 % int4)) triple10) -> (rule2 % int3)) triple10 triple8) -> (rule3 % int2))) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Eric is nice.
("Eric" "is" "nice" "+")
((((triple7 ((triple10 triple9 triple8) -> (rule7 % int3)) triple10) -> (rule2 % int2)) triple10 triple8) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Alan has a round face and is very nice.
Charlie vowed to always be rough, cold, blue, and big as possible.
Eric is young and green, so although he is rough and blue with sadness, he'll grow out of it.
Gary always goes out of his way to show that he is kind to people.
Their actions reflected how young and kind but green they were making things seem blue.
You will find that a big, young, blue person is also quite round.
When a person can be described as blue, rough and round, you can call them nice at the same time.
A round shaped and young aged person will be very cold.
A young person who is red and green is also going to look round.
Nice people who are big are always cold because they can't find space near the heater.
Ifa blue and green colored person is rough then they must be big shaped.