Young Alan got into a fight that left him with red sores on his face. Upon meeting Bob, you'll notice he's green and kind. Though he is young, Eric is still nice despite being quite blue. They always call him rough Gary. A nice young person who is red is cold. Young and rough people tend to be green too. If you have a big and round shape then you are going to be young, too. When you know someone who is young and green you can count on them being nice to everyone. Someone who is young and nice is often round. Blue people round with fat are red from too much time in the sun.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is nice and red and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and rough then they are green.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is round and big then they are young.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young and green then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Eric is young.
True
1
proof
[(triple5)]
("Eric" "is" "young" "+")
triple5
Bob is not green.
False
1
inv-proof
[(triple4)]
("Bob" "is" "green" "-")
triple4
Eric is round.
True
3
proof
[(((triple5 triple6) -> rule5))]
("Eric" "is" "round" "+")
((triple5 triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
3
inv-proof
[(((triple5 triple6) -> rule5))]
("Eric" "is" "round" "-")
((triple5 triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
True
5
proof
[(((triple7 ((triple5 triple6) -> rule5)) -> rule6))]
("Eric" "is" "red" "+")
((triple7 ((triple5 triple6) -> (rule5 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not red.
False
5
inv-proof
[(((triple7 ((triple5 triple6) -> rule5)) -> rule6))]
("Eric" "is" "red" "-")
((triple7 ((triple5 triple6) -> (rule5 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
True
8
proof
[(((triple6 ((triple7 ((triple5 triple6) -> rule5)) -> rule6) triple5) -> rule1))]
("Eric" "is" "cold" "+")
((triple6 ((triple7 ((triple5 triple6) -> (rule5 % int3))) -> (rule6 % int2)) triple5) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not cold.
False
8
inv-proof
[(((triple6 ((triple7 ((triple5 triple6) -> rule5)) -> rule6) triple5) -> rule1))]
("Eric" "is" "cold" "-")
((triple6 ((triple7 ((triple5 triple6) -> (rule5 % int3))) -> (rule6 % int2)) triple5) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "green" "-")
Gary is green.
Unknown
rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "red" "-")
Alan is nice.
Unknown
rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Alan" "is" "nice" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple4)] Bob is kind.[(triple3)] Eric is blue.[(triple7)] Eric is nice.[(triple6)] Eric is young.[(triple5)] Gary is rough.[(triple8)] @1: Eric is round.[(((triple5 triple6) -> rule5))] @2: Eric is red.[(((triple7 ((triple5 triple6) -> rule5)) -> rule6))] @3: Eric is cold.[(((triple6 ((triple7 ((triple5 triple6) -> rule5)) -> rule6) triple5) -> rule1))]
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
((triple5 triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple7 ((triple5 triple6) -> (rule5 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((triple6 ((triple7 ((triple5 triple6) -> (rule5 % int3))) -> (rule6 % int2)) triple5) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Young Alan got into a fight that left him with red sores on his face.
Upon meeting Bob, you'll notice he's green and kind.
Though he is young, Eric is still nice despite being quite blue.
They always call him rough Gary.
A nice young person who is red is cold.
Young and rough people tend to be green too.
If you have a big and round shape then you are going to be young, too.
When you know someone who is young and green you can count on them being nice to everyone.
Someone who is young and nice is often round.
Blue people round with fat are red from too much time in the sun.