As much as Alan is nice, he is also cold and often feels blue. They always call him rough Fred. Gary is blue just like his dog. Gary is rough and round enough for the dog to use him as an exercise wheel. If the description of nice and green applies to somebody, the description of young will, too. Someone who is not kind, will see red and be cold, which leads them to always feel blue. Round people who feel rough also always feel cold,. If you color the young ones blue then they will be kind. A person who is round shaped while also being quite cold tends to be nice. If you ever find someone who's nice, rough, and blue, expect them to also be green.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and red and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and rough and blue then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Alan is blue.
True
1
proof
[(triple3)]
("Alan" "is" "blue" "+")
triple3
Gary is not blue.
False
1
inv-proof
[(triple7)]
("Gary" "is" "blue" "-")
triple7
Gary is cold.
True
3
proof
[(((triple5 triple6) -> rule3))]
("Gary" "is" "cold" "+")
((triple5 triple6) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
3
inv-proof
[(((triple5 triple6) -> rule3))]
("Gary" "is" "cold" "-")
((triple5 triple6) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
True
5
proof
[(((triple5 ((triple5 triple6) -> rule3)) -> rule5))]
("Gary" "is" "nice" "+")
((triple5 ((triple5 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not nice.
False
5
inv-proof
[(((triple5 ((triple5 triple6) -> rule3)) -> rule5))]
("Gary" "is" "nice" "-")
((triple5 ((triple5 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
True
8
proof
[(((((triple5 ((triple5 triple6) -> rule3)) -> rule5) triple6 triple7) -> rule6))]
("Gary" "is" "green" "+")
((((triple5 ((triple5 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple6 triple7) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not green.
False
8
inv-proof
[(((((triple5 ((triple5 triple6) -> rule3)) -> rule5) triple6 triple7) -> rule6))]
("Gary" "is" "green" "-")
((((triple5 ((triple5 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple6 triple7) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
True
14
proof
[(((((((triple5 ((triple5 triple6) -> rule3)) -> rule5) triple6 triple7) -> rule6) ((triple5 ((triple5 triple6) -> rule3)) -> rule5)) -> rule1))]
("Gary" "is" "young" "+")
((((((triple5 ((triple5 triple6) -> (rule3 % int4))) -> (rule5 % int3)) triple6 triple7) -> (rule6 % int2)) ((triple5 ((triple5 triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is not young.
False
14
inv-proof
[(((((((triple5 ((triple5 triple6) -> rule3)) -> rule5) triple6 triple7) -> rule6) ((triple5 ((triple5 triple6) -> rule3)) -> rule5)) -> rule1))]
("Gary" "is" "young" "-")
((((((triple5 ((triple5 triple6) -> (rule3 % int4))) -> (rule5 % int3)) triple6 triple7) -> (rule6 % int2)) ((triple5 ((triple5 triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
True
16
proof
[(((triple7 ((((((triple5 ((triple5 triple6) -> rule3)) -> rule5) triple6 triple7) -> rule6) ((triple5 ((triple5 triple6) -> rule3)) -> rule5)) -> rule1)) -> rule4))]
("Gary" "is" "kind" "+")
((triple7 ((((((triple5 ((triple5 triple6) -> (rule3 % int5))) -> (rule5 % int4)) triple6 triple7) -> (rule6 % int3)) ((triple5 ((triple5 triple6) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is not kind.
False
16
inv-proof
[(((triple7 ((((((triple5 ((triple5 triple6) -> rule3)) -> rule5) triple6 triple7) -> rule6) ((triple5 ((triple5 triple6) -> rule3)) -> rule5)) -> rule1)) -> rule4))]
("Gary" "is" "kind" "-")
((triple7 ((((((triple5 ((triple5 triple6) -> (rule3 % int5))) -> (rule5 % int4)) triple6 triple7) -> (rule6 % int3)) ((triple5 ((triple5 triple6) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Fred is not young.
Unknown
inv-rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Fred" "is" "young" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "cold" "+")
Fred is not kind.
Unknown
inv-rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Fred" "is" "kind" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "blue" "+")
Alan is not young.
Unknown
inv-rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Alan" "is" "young" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is blue.[(triple3)] Alan is cold.[(triple2)] Alan is nice.[(triple1)] Fred is rough.[(triple4)] Gary is blue.[(triple7)] Gary is rough.[(triple6)] Gary is round.[(triple5)] @1: Gary is cold.[(((triple5 triple6) -> rule3))] @2: Gary is nice.[(((triple5 ((triple5 triple6) -> rule3)) -> rule5))] @3: Gary is green.[(((((triple5 ((triple5 triple6) -> rule3)) -> rule5) triple6 triple7) -> rule6))] @4: Gary is young.[(((((((triple5 ((triple5 triple6) -> rule3)) -> rule5) triple6 triple7) -> rule6) ((triple5 ((triple5 triple6) -> rule3)) -> rule5)) -> rule1))] @5: Gary is kind.[(((triple7 ((((((triple5 ((triple5 triple6) -> rule3)) -> rule5) triple6 triple7) -> rule6) ((triple5 ((triple5 triple6) -> rule3)) -> rule5)) -> rule1)) -> rule4))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
((triple5 triple6) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple5 ((triple5 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((((triple5 ((triple5 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple6 triple7) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((((triple5 ((triple5 triple6) -> (rule3 % int4))) -> (rule5 % int3)) triple6 triple7) -> (rule6 % int2)) ((triple5 ((triple5 triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
((triple7 ((((((triple5 ((triple5 triple6) -> (rule3 % int5))) -> (rule5 % int4)) triple6 triple7) -> (rule6 % int3)) ((triple5 ((triple5 triple6) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
As much as Alan is nice, he is also cold and often feels blue.
They always call him rough Fred.
Gary is blue just like his dog; Gary is rough and round enough for the dog to use him as an exercise wheel.
If the description of nice and green applies to somebody, the description of young will, too.
Someone who is not kind, will see red and be cold, which leads them to always feel blue.
Round people who feel rough also always feel cold,.
If you color the young ones blue then they will be kind.
A person who is round shaped while also being quite cold tends to be nice.
If you ever find someone who's nice, rough, and blue, expect them to also be green.