Alan ate some rotten meat and now feels green. Charlie ate some rotten meat and now feels green. That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Dave. Even though Eric is young, he is still very round and still very red. Because someone is green and kind they are extremely nice to people. Big, kind people that are rough are known for being red. A nice young person who is rough around the edges is big. Cold, red people are generally kind and big. I've noticed that someone who is big and acts cold towards others is green as well. If a big person is cold and nice, then they are green. Someone who's young and frosty cold are actually very nice.
Alan is green.
("Alan" "is" "green" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and kind and rough then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and big then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and big and nice then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Dave is kind.
True
1
proof
[(triple6)]
("Dave" "is" "kind" "+")
triple6
Dave is not round.
False
1
inv-proof
[(triple3)]
("Dave" "is" "round" "-")
triple3
Dave is big.
True
4
proof
[(((triple6 triple5 triple7) -> rule4))]
("Dave" "is" "big" "+")
((triple6 triple5 triple7) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is not big.
False
4
inv-proof
[(((triple6 triple5 triple7) -> rule4))]
("Dave" "is" "big" "-")
((triple6 triple5 triple7) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
True
6
proof
[(((triple7 ((triple6 triple5 triple7) -> rule4)) -> rule5))]
("Dave" "is" "green" "+")
((triple7 ((triple6 triple5 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is not green.
False
6
inv-proof
[(((triple7 ((triple6 triple5 triple7) -> rule4)) -> rule5))]
("Dave" "is" "green" "-")
((triple7 ((triple6 triple5 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
True
8
proof
[(((((triple7 ((triple6 triple5 triple7) -> rule4)) -> rule5) triple6) -> rule1))]
("Dave" "is" "nice" "+")
((((triple7 ((triple6 triple5 triple7) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is not nice.
False
8
inv-proof
[(((((triple7 ((triple6 triple5 triple7) -> rule4)) -> rule5) triple6) -> rule1))]
("Dave" "is" "nice" "-")
((((triple7 ((triple6 triple5 triple7) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "green" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Alan is green.[(triple1)] Charlie is green.[(triple2)] Dave is blue.[(triple8)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is red.[(triple5)] Dave is rough.[(triple4)] Dave is round.[(triple3)] Eric is red.[(triple11)] Eric is round.[(triple10)] Eric is young.[(triple9)] @1: Dave is big.[(((triple6 triple5 triple7) -> rule4))] @2: Dave is green.[(((triple7 ((triple6 triple5 triple7) -> rule4)) -> rule5))] @3: Dave is nice.[(((((triple7 ((triple6 triple5 triple7) -> rule4)) -> rule5) triple6) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Eric is red.
("Eric" "is" "red" "+")
triple11
Eric is round.
("Eric" "is" "round" "+")
triple10
Eric is young.
("Eric" "is" "young" "+")
triple9
Dave is big.
("Dave" "is" "big" "+")
((triple6 triple5 triple7) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple7 ((triple6 triple5 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple7 ((triple6 triple5 triple7) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Alan ate some rotten meat and now feels green.
Charlie ate some rotten meat and now feels green.
That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Dave.
Even though Eric is young, he is still very round and still very red.
Because someone is green and kind they are extremely nice to people.
Big, kind people that are rough are known for being red.
A nice young person who is rough around the edges is big.
Cold, red people are generally kind and big.
I've noticed that someone who is big and acts cold towards others is green as well.
If a big person is cold and nice, then they are green.
Someone who's young and frosty cold are actually very nice.