Alan is a big, round, nice, and red fellow is looking a bit green righ now. Eric is red when he is rough and blue when he is kind. Fred wears all blue. Kind young people are red. If people are cold they are often red. Nice green people and often blue with sadness. A young person with a kind heart and big sized body will be rough around the edges. You will discover that green rough people are always red. When you meet someone who is round, red and green, they will also be young. A young, big sized person will certainly be a kind one.
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and kind and big then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is green and red and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Eric is blue.
True
1
proof
[(triple9)]
("Eric" "is" "blue" "+")
triple9
Eric is not rough.
False
1
inv-proof
[(triple6)]
("Eric" "is" "rough" "-")
triple6
Alan is young.
True
4
proof
[(((triple4 triple2 triple1) -> rule6))]
("Alan" "is" "young" "+")
((triple4 triple2 triple1) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is not blue.
False
3
inv-proof
[(((triple4 triple3) -> rule3))]
("Alan" "is" "blue" "-")
((triple4 triple3) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is kind.
True
6
proof
[(((((triple4 triple2 triple1) -> rule6) triple5) -> rule7))]
("Alan" "is" "kind" "+")
((((triple4 triple2 triple1) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is not kind.
False
6
inv-proof
[(((((triple4 triple2 triple1) -> rule6) triple5) -> rule7))]
("Alan" "is" "kind" "-")
((((triple4 triple2 triple1) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is rough.
True
12
proof
[(((((triple4 triple2 triple1) -> rule6) ((((triple4 triple2 triple1) -> rule6) triple5) -> rule7) triple5) -> rule4))]
("Alan" "is" "rough" "+")
((((triple4 triple2 triple1) -> (rule6 % int3)) ((((triple4 triple2 triple1) -> (rule6 % int3)) triple5) -> (rule7 % int2)) triple5) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is not rough.
False
12
inv-proof
[(((((triple4 triple2 triple1) -> rule6) ((((triple4 triple2 triple1) -> rule6) triple5) -> rule7) triple5) -> rule4))]
("Alan" "is" "rough" "-")
((((triple4 triple2 triple1) -> (rule6 % int3)) ((((triple4 triple2 triple1) -> (rule6 % int3)) triple5) -> (rule7 % int2)) triple5) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "young" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "kind" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "rough" "-")
Gary is red.
Unknown
rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Alan is big.[(triple5)] Alan is green.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Eric is blue.[(triple9)] Eric is kind.[(triple8)] Eric is red.[(triple7)] Eric is rough.[(triple6)] Fred is blue.[(triple10)] @1: Alan is blue.[(((triple4 triple3) -> rule3))] Alan is young.[(((triple4 triple2 triple1) -> rule6))] @2: Alan is kind.[(((((triple4 triple2 triple1) -> rule6) triple5) -> rule7))] @3: Alan is rough.[(((((triple4 triple2 triple1) -> rule6) ((((triple4 triple2 triple1) -> rule6) triple5) -> rule7) triple5) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Alan is blue.
("Alan" "is" "blue" "+")
((triple4 triple3) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
((triple4 triple2 triple1) -> (rule6 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((((triple4 triple2 triple1) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((((triple4 triple2 triple1) -> (rule6 % int3)) ((((triple4 triple2 triple1) -> (rule6 % int3)) triple5) -> (rule7 % int2)) triple5) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is a big, round, nice, and red fellow is looking a bit green righ now.
Eric is red when he is rough and blue when he is kind.
Fred wears all blue.
Kind young people are red.
If people are cold they are often red.
Nice green people and often blue with sadness.
A young person with a kind heart and big sized body will be rough around the edges.
You will discover that green rough people are always red.
When you meet someone who is round, red and green, they will also be young.
A young, big sized person will certainly be a kind one.