Alan fits the description of someone who is rough, red and blue. To the touch Bob has rough, cold skin. Fred wears all blue. Gary looks red to most people, with blue features. A round person who is nice is young. Young people who wear red lipstick are certainly kind. Most young, green people are kind and because of this they are round. People who are rough are young. A person who is cold but red, and big in size is young for sure. Incredible as it may seem, young people who are red and have kind attitudes are always round. Someone who's blue, nice and round will also be someone who's green.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and young and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is red and big and cold then they are young.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is young and red and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and nice and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Bob is cold.
True
1
proof
[(triple5)]
("Bob" "is" "cold" "+")
triple5
Alan is not red.
False
1
inv-proof
[(triple2)]
("Alan" "is" "red" "-")
triple2
Alan is young.
True
2
proof
[(((triple1) -> rule4))]
("Alan" "is" "young" "+")
((triple1) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple4) -> rule4))]
("Bob" "is" "young" "-")
((triple4) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Alan is kind.
True
4
proof
[(((triple2 ((triple1) -> rule4)) -> rule2))]
("Alan" "is" "kind" "+")
((triple2 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is not kind.
False
4
inv-proof
[(((triple2 ((triple1) -> rule4)) -> rule2))]
("Alan" "is" "kind" "-")
((triple2 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
True
8
proof
[(((((triple1) -> rule4) triple2 ((triple2 ((triple1) -> rule4)) -> rule2)) -> rule6))]
("Alan" "is" "round" "+")
((((triple1) -> (rule4 % int3)) triple2 ((triple2 ((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is not round.
False
8
inv-proof
[(((((triple1) -> rule4) triple2 ((triple2 ((triple1) -> rule4)) -> rule2)) -> rule6))]
("Alan" "is" "round" "-")
((((triple1) -> (rule4 % int3)) triple2 ((triple2 ((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "green" "+")
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "green" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "young" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
@0: Alan is blue.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Bob is cold.[(triple5)] Bob is rough.[(triple4)] Fred is blue.[(triple6)] Gary is blue.[(triple8)] Gary is red.[(triple7)] @1: Alan is young.[(((triple1) -> rule4))] Bob is young.[(((triple4) -> rule4))] @2: Alan is kind.[(((triple2 ((triple1) -> rule4)) -> rule2))] @3: Alan is round.[(((((triple1) -> rule4) triple2 ((triple2 ((triple1) -> rule4)) -> rule2)) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Alan is young.
("Alan" "is" "young" "+")
((triple1) -> (rule4 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple4) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
((((triple1) -> (rule4 % int3)) triple2 ((triple2 ((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan fits the description of someone who is rough, red and blue.
To the touch Bob has rough, cold skin.
Fred wears all blue.
Gary looks red to most people, with blue features.
A round person who is nice is young.
Young people who wear red lipstick are certainly kind.
Most young, green people are kind and because of this they are round.
People who are rough are young.
A person who is cold but red, and big in size is young for sure.
Incredible as it may seem, young people who are red and have kind attitudes are always round.
Someone who's blue, nice and round will also be someone who's green.