Alan is very young to be a nurse but he loves helping others because he is so nice and kind. Bob wears all blue. Eric is a kind and red colored guy. Fred wears all blue. If someone is blue and rough, they always see red in others. I've found that people with rough skin tend to be really nice but they also often feel blue. Blue people who are big tend to be rough. Someone who's young and frosty cold are actually very nice. Big,cold,kind people tend to be red in color to others. A nice young person will be rough in texture.
If someone is blue and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and nice then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and big and cold then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Eric is kind.
True
1
proof
[(triple6)]
("Eric" "is" "kind" "+")
triple6
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Alan is rough.
True
3
proof
[(((triple1 triple2) -> rule6))]
("Alan" "is" "rough" "+")
((triple1 triple2) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is not rough.
False
3
inv-proof
[(((triple1 triple2) -> rule6))]
("Alan" "is" "rough" "-")
((triple1 triple2) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
True
5
proof
[(((((triple1 triple2) -> rule6) triple2) -> rule2))]
("Alan" "is" "blue" "+")
((((triple1 triple2) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not blue.
False
5
inv-proof
[(((((triple1 triple2) -> rule6) triple2) -> rule2))]
("Alan" "is" "blue" "-")
((((triple1 triple2) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
True
9
proof
[(((((((triple1 triple2) -> rule6) triple2) -> rule2) ((triple1 triple2) -> rule6)) -> rule1))]
("Alan" "is" "red" "+")
((((((triple1 triple2) -> (rule6 % int3)) triple2) -> (rule2 % int2)) ((triple1 triple2) -> (rule6 % int3))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not red.
False
9
inv-proof
[(((((((triple1 triple2) -> rule6) triple2) -> rule2) ((triple1 triple2) -> rule6)) -> rule1))]
("Alan" "is" "red" "-")
((((((triple1 triple2) -> (rule6 % int3)) triple2) -> (rule2 % int2)) ((triple1 triple2) -> (rule6 % int3))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "nice" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "nice" "+")
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "rough" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "nice" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
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)] Bob is blue.[(triple4)] Eric is kind.[(triple6)] Eric is red.[(triple5)] Fred is blue.[(triple7)] @1: Alan is rough.[(((triple1 triple2) -> rule6))] @2: Alan is blue.[(((((triple1 triple2) -> rule6) triple2) -> rule2))] @3: Alan is red.[(((((((triple1 triple2) -> rule6) triple2) -> rule2) ((triple1 triple2) -> rule6)) -> rule1))]
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Alan is rough.
("Alan" "is" "rough" "+")
((triple1 triple2) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((((triple1 triple2) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((((((triple1 triple2) -> (rule6 % int3)) triple2) -> (rule2 % int2)) ((triple1 triple2) -> (rule6 % int3))) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is very young to be a nurse but he loves helping others because he is so nice and kind.
Bob wears all blue.
Eric is a kind and red colored guy.
Fred wears all blue.
If someone is blue and rough, they always see red in others.
I've found that people with rough skin tend to be really nice but they also often feel blue.
Blue people who are big tend to be rough.
Someone who's young and frosty cold are actually very nice.
Big,cold,kind people tend to be red in color to others.
A nice young person will be rough in texture.