Charlie was born only a few years ago so he is young. Dave is a rather round fellow, but kind and nice to people. He often looks green and blue. Even though Eric is young, he is still very round and still very red. That guy Gary is big, but he's always kind to little ones. Nice and kind people tend to live green lifestyle and arent very rough. Watch out for the rough and round kind people for they cold to others. A cold and blue appearing person will be young as well. Someone who's young and frosty cold are actually very nice. If someone seems young, kind, and nice, expect them to be quite round. Blue, red and nice people are always big, too.
Charlie is young.
("Charlie" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is nice and kind and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and round and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and blue then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and kind and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and blue and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Dave is green.
True
1
proof
[(triple5)]
("Dave" "is" "green" "+")
triple5
Dave is not kind.
False
1
inv-proof
[(triple4)]
("Dave" "is" "kind" "-")
triple4
Dave is rough.
True
4
proof
[(((triple3 triple4 triple5) -> rule1))]
("Dave" "is" "rough" "+")
((triple3 triple4 triple5) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
4
inv-proof
[(((triple3 triple4 triple5) -> rule1))]
("Dave" "is" "rough" "-")
((triple3 triple4 triple5) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
True
7
proof
[(((((triple3 triple4 triple5) -> rule1) triple2 triple4) -> rule2))]
("Dave" "is" "cold" "+")
((((triple3 triple4 triple5) -> (rule1 % int2)) triple2 triple4) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not cold.
False
7
inv-proof
[(((((triple3 triple4 triple5) -> rule1) triple2 triple4) -> rule2))]
("Dave" "is" "cold" "-")
((((triple3 triple4 triple5) -> (rule1 % int2)) triple2 triple4) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is young.
True
9
proof
[(((((((triple3 triple4 triple5) -> rule1) triple2 triple4) -> rule2) triple6) -> rule3))]
("Dave" "is" "young" "+")
((((((triple3 triple4 triple5) -> (rule1 % int3)) triple2 triple4) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not young.
False
9
inv-proof
[(((((((triple3 triple4 triple5) -> rule1) triple2 triple4) -> rule2) triple6) -> rule3))]
("Dave" "is" "young" "-")
((((((triple3 triple4 triple5) -> (rule1 % int3)) triple2 triple4) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "rough" "-")
Gary is cold.
Unknown
rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Gary" "is" "cold" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "cold" "-")
Eric is nice.
Unknown
rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Eric" "is" "nice" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is young.[(triple1)] Dave is blue.[(triple6)] Dave is green.[(triple5)] Dave is kind.[(triple4)] Dave is nice.[(triple3)] Dave is round.[(triple2)] Eric is red.[(triple9)] Eric is round.[(triple8)] Eric is young.[(triple7)] Gary is big.[(triple11)] Gary is kind.[(triple10)] @1: Dave is rough.[(((triple3 triple4 triple5) -> rule1))] @2: Dave is cold.[(((((triple3 triple4 triple5) -> rule1) triple2 triple4) -> rule2))] @3: Dave is young.[(((((((triple3 triple4 triple5) -> rule1) triple2 triple4) -> rule2) triple6) -> rule3))]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Eric is red.
("Eric" "is" "red" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
((triple3 triple4 triple5) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((((triple3 triple4 triple5) -> (rule1 % int2)) triple2 triple4) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((((triple3 triple4 triple5) -> (rule1 % int3)) triple2 triple4) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Charlie was born only a few years ago so he is young.
Dave is a rather round fellow, but kind and nice to people; He often looks green and blue.
Even though Eric is young, he is still very round and still very red.
That guy Gary is big, but he's always kind to little ones.
Nice and kind people tend to live green lifestyle and arent very rough.
Watch out for the rough and round kind people for they cold to others.
A cold and blue appearing person will be young as well.
Someone who's young and frosty cold are actually very nice.
If someone seems young, kind, and nice, expect them to be quite round.
Blue, red and nice people are always big, too.