Alan is a young man who is a bit on the round side. He can be all over the place as he is nice, kind but also rough and blue with his moods. Even though he's young and green, Eric is rough. Gary is very nice to people, but he's also rather big. You know when you meet a red, blue and kind person, that means they are green. Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers. Blue people who are big tend to be rough. If a young person knows he is big and round, then he will be blue. Anyone who's got young, round and big traits is bound to have a red trait, too. A blue and red colored person that is young is also very cold.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and blue and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and blue and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and big and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and big and round then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and young and red then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Eric is young.
True
1
proof
[(triple7)]
("Eric" "is" "young" "+")
triple7
Eric is not rough.
False
1
inv-proof
[(triple8)]
("Eric" "is" "rough" "-")
triple8
Alan is big.
True
4
proof
[(((triple3 triple6 triple5) -> rule2))]
("Alan" "is" "big" "+")
((triple3 triple6 triple5) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is not big.
False
4
inv-proof
[(((triple3 triple6 triple5) -> rule2))]
("Alan" "is" "big" "-")
((triple3 triple6 triple5) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is red.
True
7
proof
[(((triple1 ((triple3 triple6 triple5) -> rule2) triple2) -> rule5))]
("Alan" "is" "red" "+")
((triple1 ((triple3 triple6 triple5) -> (rule2 % int2)) triple2) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is not red.
False
7
inv-proof
[(((triple1 ((triple3 triple6 triple5) -> rule2) triple2) -> rule5))]
("Alan" "is" "red" "-")
((triple1 ((triple3 triple6 triple5) -> (rule2 % int2)) triple2) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is green.
True
10
proof
[(((((triple1 ((triple3 triple6 triple5) -> rule2) triple2) -> rule5) triple6 triple5) -> rule1))]
("Alan" "is" "green" "+")
((((triple1 ((triple3 triple6 triple5) -> (rule2 % int3)) triple2) -> (rule5 % int2)) triple6 triple5) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is not green.
False
10
inv-proof
[(((((triple1 ((triple3 triple6 triple5) -> rule2) triple2) -> rule5) triple6 triple5) -> rule1))]
("Alan" "is" "green" "-")
((((triple1 ((triple3 triple6 triple5) -> (rule2 % int3)) triple2) -> (rule5 % int2)) triple6 triple5) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "blue" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "red" "+")
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "big" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "cold" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Alan is blue.[(triple6)] Alan is kind.[(triple5)] Alan is nice.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Eric is green.[(triple9)] Eric is rough.[(triple8)] Eric is young.[(triple7)] Gary is big.[(triple11)] Gary is nice.[(triple10)] @1: Alan is big.[(((triple3 triple6 triple5) -> rule2))] @2: Alan is red.[(((triple1 ((triple3 triple6 triple5) -> rule2) triple2) -> rule5))] @3: Alan is cold.[(((triple6 triple1 ((triple1 ((triple3 triple6 triple5) -> rule2) triple2) -> rule5)) -> rule6))] Alan is green.[(((((triple1 ((triple3 triple6 triple5) -> rule2) triple2) -> rule5) triple6 triple5) -> rule1))]
Alan is blue.
("Alan" "is" "blue" "+")
triple6
Alan is kind.
("Alan" "is" "kind" "+")
triple5
Alan is nice.
("Alan" "is" "nice" "+")
triple4
Alan is rough.
("Alan" "is" "rough" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Alan is big.
("Alan" "is" "big" "+")
((triple3 triple6 triple5) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple1 ((triple3 triple6 triple5) -> (rule2 % int2)) triple2) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((triple6 triple1 ((triple1 ((triple3 triple6 triple5) -> (rule2 % int3)) triple2) -> (rule5 % int2))) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
((((triple1 ((triple3 triple6 triple5) -> (rule2 % int3)) triple2) -> (rule5 % int2)) triple6 triple5) -> (rule1 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is a young man who is a bit on the round side; He can be all over the place as he is nice, kind but also rough and blue with his moods.
Even though he's young and green, Eric is rough.
Gary is very nice to people, but he's also rather big.
You know when you meet a red, blue and kind person, that means they are green.
Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers.
Blue people who are big tend to be rough.
If a young person knows he is big and round, then he will be blue.
Anyone who's got young, round and big traits is bound to have a red trait, too.
A blue and red colored person that is young is also very cold.