Charlie ate some rotten meat and now feels green. Dave was born only a few years ago so he is young. Eric is rather young, but he is also kind, green, cold and big. Harry who is considered nice was feeling rather rough today. People who are round, blue and cold are usually nice. People who are big and kind and feel down and blue tend to have rough skin. Nice people are kind and rough when they are young. Someone who's young and frosty cold are actually very nice. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.
Charlie is green.
("Charlie" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and big and blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("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 nice and cold and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Harry is rough.
True
1
proof
[(triple8)]
("Harry" "is" "rough" "+")
triple8
Harry is not rough.
False
1
inv-proof
[(triple8)]
("Harry" "is" "rough" "-")
triple8
Eric is nice.
True
3
proof
[(((triple3 triple6) -> rule4))]
("Eric" "is" "nice" "+")
((triple3 triple6) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is not nice.
False
3
inv-proof
[(((triple3 triple6) -> rule4))]
("Eric" "is" "nice" "-")
((triple3 triple6) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
True
6
proof
[(((((triple3 triple6) -> rule4) triple6 triple7) -> rule5))]
("Eric" "is" "blue" "+")
((((triple3 triple6) -> (rule4 % int2)) triple6 triple7) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is not blue.
False
6
inv-proof
[(((((triple3 triple6) -> rule4) triple6 triple7) -> rule5))]
("Eric" "is" "blue" "-")
((((triple3 triple6) -> (rule4 % int2)) triple6 triple7) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
True
9
proof
[(((triple4 triple7 ((((triple3 triple6) -> rule4) triple6 triple7) -> rule5)) -> rule2))]
("Eric" "is" "rough" "+")
((triple4 triple7 ((((triple3 triple6) -> (rule4 % int3)) triple6 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is not rough.
False
9
inv-proof
[(((triple4 triple7 ((((triple3 triple6) -> rule4) triple6 triple7) -> rule5)) -> rule2))]
("Eric" "is" "rough" "-")
((triple4 triple7 ((((triple3 triple6) -> (rule4 % int3)) triple6 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "rough" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is green.[(triple1)] Dave is young.[(triple2)] Eric is big.[(triple7)] Eric is cold.[(triple6)] Eric is green.[(triple5)] Eric is kind.[(triple4)] Eric is young.[(triple3)] Harry is nice.[(triple9)] Harry is rough.[(triple8)] @1: Eric is nice.[(((triple3 triple6) -> rule4))] @2: Eric is blue.[(((((triple3 triple6) -> rule4) triple6 triple7) -> rule5))] @3: Eric is rough.[(((triple4 triple7 ((((triple3 triple6) -> rule4) triple6 triple7) -> rule5)) -> rule2))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
((triple3 triple6) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((((triple3 triple6) -> (rule4 % int2)) triple6 triple7) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((triple4 triple7 ((((triple3 triple6) -> (rule4 % int3)) triple6 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Charlie ate some rotten meat and now feels green.
Dave was born only a few years ago so he is young.
Eric is rather young, but he is also kind, green, cold and big.
Harry who is considered nice was feeling rather rough today.
People who are round, blue and cold are usually nice.
People who are big and kind and feel down and blue tend to have rough skin.
Nice people are kind and rough when they are young.
Someone who's young and frosty cold are actually very nice.
Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.