When you meet Alan you'll the two characteristics that will standout is that he's red but also rough. Bob's a round guy, and a red and green guy. Eric is rough but nice, big but cold. Fred fits the description of someone who is rough, red and blue. If the description of nice and green applies to somebody, the description of young will, too. Big and cold people tend to see red and dont live green lifestyle. It's a fact that young people are red people. A big, blue person who is kind is also round. A human that's cold also means they are a human that is young. Rough and kind people are big. Being green, blue, and red all point to how young someone was.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is red and big and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Bob is green.
True
1
proof
[(triple5)]
("Bob" "is" "green" "+")
triple5
Eric is not big.
False
1
inv-proof
[(triple9)]
("Eric" "is" "big" "-")
triple9
Eric is young.
True
2
proof
[(((triple8) -> rule5))]
("Eric" "is" "young" "+")
((triple8) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is not young.
False
2
inv-proof
[(((triple8) -> rule5))]
("Eric" "is" "young" "-")
((triple8) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is red.
True
3
proof
[(((((triple8) -> rule5)) -> rule3))]
("Eric" "is" "red" "+")
((((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is not red.
False
3
inv-proof
[(((((triple8) -> rule5)) -> rule3))]
("Eric" "is" "red" "-")
((((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
True
6
proof
[(((((((triple8) -> rule5)) -> rule3) triple9 triple8) -> rule2))]
("Eric" "is" "green" "+")
((((((triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple9 triple8) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is not green.
False
6
inv-proof
[(((((((triple8) -> rule5)) -> rule3) triple9 triple8) -> rule2))]
("Eric" "is" "green" "-")
((((((triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple9 triple8) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "round" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "big" "+")
Fred is not young.
Unknown
inv-rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Fred" "is" "young" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "big" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
@0: Alan is red.[(triple2)] Alan is rough.[(triple1)] Bob is green.[(triple5)] Bob is red.[(triple4)] Bob is round.[(triple3)] Eric is big.[(triple9)] Eric is cold.[(triple8)] Eric is nice.[(triple7)] Eric is rough.[(triple6)] Fred is blue.[(triple12)] Fred is red.[(triple11)] Fred is rough.[(triple10)] @1: Eric is young.[(((triple8) -> rule5))] @2: Eric is red.[(((((triple8) -> rule5)) -> rule3))] @3: Eric is green.[(((((((triple8) -> rule5)) -> rule3) triple9 triple8) -> rule2))]
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple12
Fred is red.
("Fred" "is" "red" "+")
triple11
Fred is rough.
("Fred" "is" "rough" "+")
triple10
Eric is young.
("Eric" "is" "young" "+")
((triple8) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((((triple8) -> (rule5 % int2))) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((((((triple8) -> (rule5 % int3))) -> (rule3 % int2)) triple9 triple8) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
When you meet Alan you'll the two characteristics that will standout is that he's red but also rough.
Bob's a round guy, and a red and green guy.
Eric is rough but nice, big but cold.
Fred fits the description of someone who is rough, red and blue.
If the description of nice and green applies to somebody, the description of young will, too.
Big and cold people tend to see red and dont live green lifestyle.
It's a fact that young people are red people.
A big, blue person who is kind is also round.
A human that's cold also means they are a human that is young.
Rough and kind people are big.
Being green, blue, and red all point to how young someone was.