I was surprised at how green and blue young, round Dave is. Eric is a round fellow, but he is kind, even when he is so cold he turns blue. In the snow sits Fred, crying from being cold. A round person who is nice and feelin cold is usually rough in apperance. A blue colored, nice but rough person is definitely young too. Folks who are nice and young with red coloration tend to feel blue. A nice person who is downhearted, blue, and green with envy is rough. If someone is feeling blue and round in shape they are usually nice. A green and red colored person who has a nice temperament will be cold.
If someone is round and nice and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and blue and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and young and red then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and blue and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Eric is blue.
True
1
proof
[(triple8)]
("Eric" "is" "blue" "+")
triple8
Eric is not blue.
False
1
inv-proof
[(triple8)]
("Eric" "is" "blue" "-")
triple8
Eric is nice.
True
3
proof
[(((triple8 triple5) -> rule5))]
("Eric" "is" "nice" "+")
((triple8 triple5) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is not nice.
False
3
inv-proof
[(((triple8 triple5) -> rule5))]
("Eric" "is" "nice" "-")
((triple8 triple5) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
True
6
proof
[(((triple5 ((triple8 triple5) -> rule5) triple7) -> rule1))]
("Eric" "is" "rough" "+")
((triple5 ((triple8 triple5) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Dave is not rough.
False
6
inv-proof
[(((((triple4 triple2) -> rule5) triple4 triple3) -> rule4))]
("Dave" "is" "rough" "-")
((((triple4 triple2) -> (rule5 % int2)) triple4 triple3) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Eric is young.
True
11
proof
[(((((triple8 triple5) -> rule5) triple8 ((triple5 ((triple8 triple5) -> rule5) triple7) -> rule1)) -> rule2))]
("Eric" "is" "young" "+")
((((triple8 triple5) -> (rule5 % int3)) triple8 ((triple5 ((triple8 triple5) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is not young.
False
11
inv-proof
[(((((triple8 triple5) -> rule5) triple8 ((triple5 ((triple8 triple5) -> rule5) triple7) -> rule1)) -> rule2))]
("Eric" "is" "young" "-")
((((triple8 triple5) -> (rule5 % int3)) triple8 ((triple5 ((triple8 triple5) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Alan is not cold.
Unknown
inv-rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "cold" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "nice" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "blue" "-")
Alan is young.
Unknown
rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Alan" "is" "young" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
@0: Dave is blue.[(triple4)] Dave is green.[(triple3)] Dave is round.[(triple2)] Dave is young.[(triple1 OR ((((triple4 triple2) -> rule5) triple4 ((((triple4 triple2) -> rule5) triple4 triple3) -> rule4)) -> rule2))] Eric is blue.[(triple8)] Eric is cold.[(triple7)] Eric is kind.[(triple6)] Eric is round.[(triple5)] Fred is cold.[(triple9)] @1: Dave is nice.[(((triple4 triple2) -> rule5))] Eric is nice.[(((triple8 triple5) -> rule5))] @2: Dave is rough.[(((((triple4 triple2) -> rule5) triple4 triple3) -> rule4))] Eric is rough.[(((triple5 ((triple8 triple5) -> rule5) triple7) -> rule1))] @3: Eric is young.[(((((triple8 triple5) -> rule5) triple8 ((triple5 ((triple8 triple5) -> rule5) triple7) -> rule1)) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
((((triple4 triple2) -> (rule5 % int3)) triple4 ((((triple4 triple2) -> (rule5 % int3)) triple4 triple3) -> (rule4 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
((triple4 triple2) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple8 triple5) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((((triple4 triple2) -> (rule5 % int2)) triple4 triple3) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((triple5 ((triple8 triple5) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((((triple8 triple5) -> (rule5 % int3)) triple8 ((triple5 ((triple8 triple5) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
I was surprised at how green and blue young, round Dave is.
Eric is a round fellow, but he is kind, even when he is so cold he turns blue.
In the snow sits Fred, crying from being cold.
A round person who is nice and feelin cold is usually rough in apperance.
A blue colored, nice but rough person is definitely young too.
Folks who are nice and young with red coloration tend to feel blue.
A nice person who is downhearted, blue, and green with envy is rough.
If someone is feeling blue and round in shape they are usually nice.
A green and red colored person who has a nice temperament will be cold.