The diving trip left Alan red and green all over, yet he remains the nice (though rather rough) guy he always has been. Dave is rough and is blue, but that's because he's big and round in a small and square world. Upon meeting Eric, you'll notice he's green and kind. Young Gary got into a fight that left him with red sores on his face. People that tend to be big and green also tend to be cold. I've noticed that kind people are also big. A nice, big person that is red is usually young. Blue people who are kind and nice are actually quite rough. If you meet someone who is big and kind with cold skin, they will be young.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and red and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and kind and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and cold and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Eric is green.
True
1
proof
[(triple10)]
("Eric" "is" "green" "+")
triple10
Dave is not round.
False
1
inv-proof
[(triple5)]
("Dave" "is" "round" "-")
triple5
Eric is big.
True
2
proof
[(((triple9) -> rule2))]
("Eric" "is" "big" "+")
((triple9) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
2
inv-proof
[(((triple9) -> rule2))]
("Eric" "is" "big" "-")
((triple9) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
True
4
proof
[(((((triple9) -> rule2) triple10) -> rule1))]
("Eric" "is" "cold" "+")
((((triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not cold.
False
4
inv-proof
[(((((triple9) -> rule2) triple10) -> rule1))]
("Eric" "is" "cold" "-")
((((triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
True
8
proof
[(((triple9 ((((triple9) -> rule2) triple10) -> rule1) ((triple9) -> rule2)) -> rule5))]
("Eric" "is" "young" "+")
((triple9 ((((triple9) -> (rule2 % int3)) triple10) -> (rule1 % int2)) ((triple9) -> (rule2 % int3))) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not young.
False
8
inv-proof
[(((triple9 ((((triple9) -> rule2) triple10) -> rule1) ((triple9) -> rule2)) -> rule5))]
("Eric" "is" "young" "-")
((triple9 ((((triple9) -> (rule2 % int3)) triple10) -> (rule1 % int2)) ((triple9) -> (rule2 % int3))) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "rough" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "+")
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "rough" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Alan is green.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Dave is big.[(triple8)] Dave is blue.[(triple7)] Dave is rough.[(triple6)] Dave is round.[(triple5)] Eric is green.[(triple10)] Eric is kind.[(triple9)] Gary is red.[(triple12)] Gary is young.[(triple11)] @1: Eric is big.[(((triple9) -> rule2))] @2: Eric is cold.[(((((triple9) -> rule2) triple10) -> rule1))] @3: Eric is young.[(((triple9 ((((triple9) -> rule2) triple10) -> rule1) ((triple9) -> rule2)) -> rule5))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple10
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple12
Gary is young.
("Gary" "is" "young" "+")
triple11
Eric is big.
("Eric" "is" "big" "+")
((triple9) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((((triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((triple9 ((((triple9) -> (rule2 % int3)) triple10) -> (rule1 % int2)) ((triple9) -> (rule2 % int3))) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
The diving trip left Alan red and green all over, yet he remains the nice (though rather rough) guy he always has been.
Dave is rough and is blue, but that's because he's big and round in a small and square world.
Upon meeting Eric, you'll notice he's green and kind.
Young Gary got into a fight that left him with red sores on his face.
People that tend to be big and green also tend to be cold.
I've noticed that kind people are also big.
A nice, big person that is red is usually young.
Blue people who are kind and nice are actually quite rough.
If you meet someone who is big and kind with cold skin, they will be young.