Young Alan is quite nice, and because he is so round can be considered quite big. From a certain angle Charlie is blue but he is young so maybe that will go away. Big Eric is still young so it's easy for him to be kind. This Gary guy is red. He is also kind and yet cold. Most young, green people are kind and because of this they are round. Big, young people feel cold all the time. Nice people who have red cold skin are round. Being kind and young means that if they are also blue, they are always red. A young, cold person is often blue. If someone is feeling blue and round in shape they are usually nice. John is round and rough, meaning that he is someone that is seen as green.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is green and young and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and nice and cold then they are round.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and kind and young then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and young then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and rough then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Eric is young.
True
1
proof
[(triple7)]
("Eric" "is" "young" "+")
triple7
Gary is not kind.
False
1
inv-proof
[(triple11)]
("Gary" "is" "kind" "-")
triple11
Eric is cold.
True
3
proof
[(((triple7 triple9) -> rule2))]
("Eric" "is" "cold" "+")
((triple7 triple9) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not cold.
False
3
inv-proof
[(((triple7 triple9) -> rule2))]
("Eric" "is" "cold" "-")
((triple7 triple9) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Alan is blue.
True
5
proof
[(((((triple1 triple4) -> rule2) triple1) -> rule5))]
("Alan" "is" "blue" "+")
((((triple1 triple4) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not blue.
False
5
inv-proof
[(((((triple1 triple4) -> rule2) triple1) -> rule5))]
("Alan" "is" "blue" "-")
((((triple1 triple4) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Eric is red.
True
8
proof
[(((((((triple7 triple9) -> rule2) triple7) -> rule5) triple8 triple7) -> rule4))]
("Eric" "is" "red" "+")
((((((triple7 triple9) -> (rule2 % int3)) triple7) -> (rule5 % int2)) triple8 triple7) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not red.
False
8
inv-proof
[(((((((triple7 triple9) -> rule2) triple7) -> rule5) triple8 triple7) -> rule4))]
("Eric" "is" "red" "-")
((((((triple7 triple9) -> (rule2 % int3)) triple7) -> (rule5 % int2)) triple8 triple7) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Gary is not round.
Unknown
inv-rconc
[@3: Gary is round.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule5 <- FAIL)]]
("Gary" "is" "round" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "red" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "green" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
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" "+")
@0: Alan is big.[(triple4)] Alan is nice.[(triple3 OR ((((((triple1 triple4) -> rule2) triple1) -> rule5) triple2) -> rule6))] Alan is round.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple6)] Charlie is young.[(triple5)] Eric is big.[(triple9)] Eric is kind.[(triple8)] Eric is young.[(triple7)] Gary is cold.[(triple12)] Gary is kind.[(triple11)] Gary is red.[(triple10)] @1: Alan is cold.[(((triple1 triple4) -> rule2))] Eric is cold.[(((triple7 triple9) -> rule2))] @2: Alan is blue.[(((((triple1 triple4) -> rule2) triple1) -> rule5))] Eric is blue.[(((((triple7 triple9) -> rule2) triple7) -> rule5))] @3: Eric is red.[(((((((triple7 triple9) -> rule2) triple7) -> rule5) triple8 triple7) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
((((((triple1 triple4) -> (rule2 % int3)) triple1) -> (rule5 % int2)) triple2) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Alan is cold.
("Alan" "is" "cold" "+")
((triple1 triple4) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple7 triple9) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((((triple1 triple4) -> (rule2 % int2)) triple1) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((((triple7 triple9) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((((((triple7 triple9) -> (rule2 % int3)) triple7) -> (rule5 % int2)) triple8 triple7) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Young Alan is quite nice, and because he is so round can be considered quite big.
From a certain angle Charlie is blue but he is young so maybe that will go away.
Big Eric is still young so it's easy for him to be kind.
This Gary guy is red; He is also kind and yet cold.
Most young, green people are kind and because of this they are round.
Big, young people feel cold all the time.
Nice people who have red cold skin are round.
Being kind and young means that if they are also blue, they are always red.
A young, cold person is often blue.
If someone is feeling blue and round in shape they are usually nice.
John is round and rough, meaning that he is someone that is seen as green.