Alan is very young to be a nurse but he loves helping others because he is so nice and kind. Young Dave got into a fight that left him with red sores on his face. Eric is round shaped and green colored. Red Harry is what folks call him, because he is quite red. A round shaped and rough person will be blue as well. You make someone round and green, and they'll turn out nice. Anybody that is big is also someone who is going to be blue. A kind and nice person who is looking green is often red. Folks who are nice and young with red coloration tend to feel blue. Green people who are nice are rough.
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and nice and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and young and red then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Alan is kind.
True
1
proof
[(triple3)]
("Alan" "is" "kind" "+")
triple3
Dave is not young.
False
1
inv-proof
[(triple4)]
("Dave" "is" "young" "-")
triple4
Eric is nice.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Eric" "is" "nice" "+")
((triple6 triple7) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is not nice.
False
3
inv-proof
[(((triple6 triple7) -> rule2))]
("Eric" "is" "nice" "-")
((triple6 triple7) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
True
5
proof
[(((((triple6 triple7) -> rule2) triple7) -> rule6))]
("Eric" "is" "rough" "+")
((((triple6 triple7) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is not rough.
False
5
inv-proof
[(((((triple6 triple7) -> rule2) triple7) -> rule6))]
("Eric" "is" "rough" "-")
((((triple6 triple7) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is blue.
True
7
proof
[(((((((triple6 triple7) -> rule2) triple7) -> rule6) triple6) -> rule1))]
("Eric" "is" "blue" "+")
((((((triple6 triple7) -> (rule2 % int3)) triple7) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is not blue.
False
7
inv-proof
[(((((((triple6 triple7) -> rule2) triple7) -> rule6) triple6) -> rule1))]
("Eric" "is" "blue" "-")
((((((triple6 triple7) -> (rule2 % int3)) triple7) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "red" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "+")
Alan is not blue.
Unknown
inv-rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Alan" "is" "blue" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "rough" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Dave is red.[(triple5)] Dave is young.[(triple4)] Eric is green.[(triple7)] Eric is round.[(triple6)] Harry is red.[(triple8)] @1: Eric is nice.[(((triple6 triple7) -> rule2))] @2: Eric is rough.[(((((triple6 triple7) -> rule2) triple7) -> rule6))] @3: Eric is blue.[(((((((triple6 triple7) -> rule2) triple7) -> rule6) triple6) -> rule1))]
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
((triple6 triple7) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((((triple6 triple7) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((((((triple6 triple7) -> (rule2 % int3)) triple7) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Alan is very young to be a nurse but he loves helping others because he is so nice and kind.
Young Dave got into a fight that left him with red sores on his face.
Eric is round shaped and green colored.
Red Harry is what folks call him, because he is quite red.
A round shaped and rough person will be blue as well.
You make someone round and green, and they'll turn out nice.
Anybody that is big is also someone who is going to be blue.
A kind and nice person who is looking green is often red.
Folks who are nice and young with red coloration tend to feel blue.
Green people who are nice are rough.