Alan who is considered nice was feeling rather rough today. Bob is green, which is a possible explanation for why he is so nice. Blue with the cold Fred is rough but kind with a green shirt. Because someone is green and kind they are extremely nice to people. Big people who are round in stature and also feel rough are often cold to other people. Young people that are blue will still be kind because they are rough to the touch. Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe. Being green, blue, and red all point to how young someone was.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and rough and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and young and kind then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and nice and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Fred is rough.
True
1
proof
[(triple5 OR ((triple9 ((triple7 triple9 ((triple8 ((triple7 triple6) -> rule1) triple9) -> rule4)) -> rule5) triple6) -> rule3))]
("Fred" "is" "rough" "+")
triple5
((triple9 ((triple7 triple9 ((triple8 ((triple7 triple6) -> (rule1 % int4)) triple9) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Bob is not green.
False
1
inv-proof
[(triple4)]
("Bob" "is" "green" "-")
triple4
Fred is nice.
True
3
proof
[(((triple7 triple6) -> rule1))]
("Fred" "is" "nice" "+")
((triple7 triple6) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple7 triple6) -> rule1))]
("Fred" "is" "nice" "-")
((triple7 triple6) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
True
6
proof
[(((triple8 ((triple7 triple6) -> rule1) triple9) -> rule4))]
("Fred" "is" "red" "+")
((triple8 ((triple7 triple6) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not red.
False
6
inv-proof
[(((triple8 ((triple7 triple6) -> rule1) triple9) -> rule4))]
("Fred" "is" "red" "-")
((triple8 ((triple7 triple6) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
True
9
proof
[(((triple7 triple9 ((triple8 ((triple7 triple6) -> rule1) triple9) -> rule4)) -> rule5))]
("Fred" "is" "young" "+")
((triple7 triple9 ((triple8 ((triple7 triple6) -> (rule1 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not young.
False
9
inv-proof
[(((triple7 triple9 ((triple8 ((triple7 triple6) -> rule1) triple9) -> rule4)) -> rule5))]
("Fred" "is" "young" "-")
((triple7 triple9 ((triple8 ((triple7 triple6) -> (rule1 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "red" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "young" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "cold" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "young" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Alan is nice.[(triple2)] Alan is rough.[(triple1)] Bob is green.[(triple4)] Bob is nice.[(triple3)] Fred is blue.[(triple9)] Fred is cold.[(triple8)] Fred is green.[(triple7)] Fred is kind.[(triple6)] Fred is rough.[(triple5 OR ((triple9 ((triple7 triple9 ((triple8 ((triple7 triple6) -> rule1) triple9) -> rule4)) -> rule5) triple6) -> rule3))] @1: Fred is nice.[(((triple7 triple6) -> rule1))] @2: Fred is red.[(((triple8 ((triple7 triple6) -> rule1) triple9) -> rule4))] @3: Fred is young.[(((triple7 triple9 ((triple8 ((triple7 triple6) -> rule1) triple9) -> rule4)) -> rule5))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
((triple9 ((triple7 triple9 ((triple8 ((triple7 triple6) -> (rule1 % int4)) triple9) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is nice.
("Fred" "is" "nice" "+")
((triple7 triple6) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple8 ((triple7 triple6) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((triple7 triple9 ((triple8 ((triple7 triple6) -> (rule1 % int3)) triple9) -> (rule4 % int2))) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Alan who is considered nice was feeling rather rough today.
Bob is green, which is a possible explanation for why he is so nice.
Blue with the cold Fred is rough but kind with a green shirt.
Because someone is green and kind they are extremely nice to people.
Big people who are round in stature and also feel rough are often cold to other people.
Young people that are blue will still be kind because they are rough to the touch.
Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe.
Being green, blue, and red all point to how young someone was.