Red Alan is what folks call him, because he is quite red. Charlie was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. That guy Eric is big, but he's always kind to little ones. Young, round Fred is green and very cold, but also nice. Surprisingly, all the kind, green people were also big. A person that is both green and red tends to be cold as well. Kind people,though green,tend to be nice. A young, green person who is cold is rough around the edges. A cold human with round and rough aspects is always kind. People who are nice and kind are somewhat young.
Alan is red.
("Alan" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is green and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and green and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and round and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and nice then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Fred is green.
True
1
proof
[(triple10)]
("Fred" "is" "green" "+")
triple10
Alan is not red.
False
1
inv-proof
[(triple1)]
("Alan" "is" "red" "-")
triple1
Fred is rough.
True
4
proof
[(((triple11 triple10 triple7) -> rule4))]
("Fred" "is" "rough" "+")
((triple11 triple10 triple7) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
4
inv-proof
[(((triple11 triple10 triple7) -> rule4))]
("Fred" "is" "rough" "-")
((triple11 triple10 triple7) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
True
7
proof
[(((triple11 triple8 ((triple11 triple10 triple7) -> rule4)) -> rule5))]
("Fred" "is" "kind" "+")
((triple11 triple8 ((triple11 triple10 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not kind.
False
7
inv-proof
[(((triple11 triple8 ((triple11 triple10 triple7) -> rule4)) -> rule5))]
("Fred" "is" "kind" "-")
((triple11 triple8 ((triple11 triple10 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is big.
True
9
proof
[(((((triple11 triple8 ((triple11 triple10 triple7) -> rule4)) -> rule5) triple10) -> rule1))]
("Fred" "is" "big" "+")
((((triple11 triple8 ((triple11 triple10 triple7) -> (rule4 % int3))) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not big.
False
9
inv-proof
[(((((triple11 triple8 ((triple11 triple10 triple7) -> rule4)) -> rule5) triple10) -> rule1))]
("Fred" "is" "big" "-")
((((triple11 triple8 ((triple11 triple10 triple7) -> (rule4 % int3))) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "nice" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "+")
Alan is not young.
Unknown
inv-rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Alan" "is" "young" "-")
Charlie is rough.
Unknown
rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "rough" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Alan is red.[(triple1)] Charlie is blue.[(triple4)] Charlie is green.[(triple3)] Charlie is round.[(triple2)] Eric is big.[(triple6)] Eric is kind.[(triple5)] Fred is cold.[(triple11)] Fred is green.[(triple10)] Fred is nice.[(triple9 OR ((((triple11 triple8 ((triple11 triple10 triple7) -> rule4)) -> rule5) triple10) -> rule3))] Fred is round.[(triple8)] Fred is young.[(triple7)] @1: Fred is rough.[(((triple11 triple10 triple7) -> rule4))] @2: Fred is kind.[(((triple11 triple8 ((triple11 triple10 triple7) -> rule4)) -> rule5))] @3: Fred is big.[(((((triple11 triple8 ((triple11 triple10 triple7) -> rule4)) -> rule5) triple10) -> rule1))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Fred is cold.
("Fred" "is" "cold" "+")
triple11
Fred is green.
("Fred" "is" "green" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
((((triple11 triple8 ((triple11 triple10 triple7) -> (rule4 % int3))) -> (rule5 % int2)) triple10) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
((triple11 triple10 triple7) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple11 triple8 ((triple11 triple10 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((triple11 triple8 ((triple11 triple10 triple7) -> (rule4 % int3))) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Red Alan is what folks call him, because he is quite red.
Charlie was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
That guy Eric is big, but he's always kind to little ones.
Young, round Fred is green and very cold, but also nice.
Surprisingly, all the kind, green people were also big.
A person that is both green and red tends to be cold as well.
Kind people,though green,tend to be nice.
A young, green person who is cold is rough around the edges.
A cold human with round and rough aspects is always kind.
People who are nice and kind are somewhat young.