Even though Charlie is green with envy he is nice with rosy red cheeks. Dave is a young, cold guy, but he's also a nice and kind guy who can be rough. In the snow sits Gary, crying from being cold. That guy Harry is big, but he's always kind to little ones. A green colored, nice and young person will be big shaped. When someone feels blue and rough, they might be described as green. People who are red, young, and round are also blue. Someone who tends to be icy cold and rough but secretly nice are generally very blue.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is young and green and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is round and red and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and rough and nice then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Dave is nice.
True
1
proof
[(triple6)]
("Dave" "is" "nice" "+")
triple6
Dave is not kind.
False
1
inv-proof
[(triple7)]
("Dave" "is" "kind" "-")
triple7
Dave is blue.
True
4
proof
[(((triple8 triple5 triple6) -> rule4))]
("Dave" "is" "blue" "+")
((triple8 triple5 triple6) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
4
inv-proof
[(((triple8 triple5 triple6) -> rule4))]
("Dave" "is" "blue" "-")
((triple8 triple5 triple6) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
True
6
proof
[(((((triple8 triple5 triple6) -> rule4) triple5) -> rule2))]
("Dave" "is" "green" "+")
((((triple8 triple5 triple6) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not green.
False
6
inv-proof
[(((((triple8 triple5 triple6) -> rule4) triple5) -> rule2))]
("Dave" "is" "green" "-")
((((triple8 triple5 triple6) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
True
9
proof
[(((triple4 ((((triple8 triple5 triple6) -> rule4) triple5) -> rule2) triple6) -> rule1))]
("Dave" "is" "big" "+")
((triple4 ((((triple8 triple5 triple6) -> (rule4 % int3)) triple5) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not big.
False
9
inv-proof
[(((triple4 ((((triple8 triple5 triple6) -> rule4) triple5) -> rule2) triple6) -> rule1))]
("Dave" "is" "big" "-")
((triple4 ((((triple8 triple5 triple6) -> (rule4 % int3)) triple5) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Charlie is green.[(triple3)] Charlie is nice.[(triple2)] Charlie is red.[(triple1)] Dave is cold.[(triple8)] Dave is kind.[(triple7)] Dave is nice.[(triple6)] Dave is rough.[(triple5)] Dave is young.[(triple4)] Gary is cold.[(triple9)] Harry is big.[(triple11)] Harry is kind.[(triple10)] @1: Dave is blue.[(((triple8 triple5 triple6) -> rule4))] @2: Dave is green.[(((((triple8 triple5 triple6) -> rule4) triple5) -> rule2))] @3: Dave is big.[(((triple4 ((((triple8 triple5 triple6) -> rule4) triple5) -> rule2) triple6) -> rule1))]
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple8 triple5 triple6) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((((triple8 triple5 triple6) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((triple4 ((((triple8 triple5 triple6) -> (rule4 % int3)) triple5) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Even though Charlie is green with envy he is nice with rosy red cheeks.
Dave is a young, cold guy, but he's also a nice and kind guy who can be rough.
In the snow sits Gary, crying from being cold.
That guy Harry is big, but he's always kind to little ones.
A green colored, nice and young person will be big shaped.
When someone feels blue and rough, they might be described as green.
People who are red, young, and round are also blue.
Someone who tends to be icy cold and rough but secretly nice are generally very blue.