Red Alan is what folks call him, because he is quite red. Most people see Charlie as round, albeit nice and big at the same time. Eric is a person both green and big. Fred always goes out of his way to show that he is kind to people. Find someone cold and green. If they are also round, then they are sure to be nice. Someone who is round in shape and green in color is usually cold. Someone might be red but blue from the cold dressing in green. A person who is green and rough and round is also young. Big people are also round people. A green and quite rough person will also be blue. If you ever find someone who's nice, rough, and blue, expect them to also be green.
Alan is red.
("Alan" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is kind.
("Fred" "is" "kind" "+")
If someone is cold and green and round then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and blue and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough and green then they are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and rough and blue then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Eric is green.
True
1
proof
[(triple5)]
("Eric" "is" "green" "+")
triple5
Alan is not red.
False
1
inv-proof
[(triple1)]
("Alan" "is" "red" "-")
triple1
Eric is round.
True
2
proof
[(((triple6) -> rule5))]
("Eric" "is" "round" "+")
((triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
2
inv-proof
[(((triple6) -> rule5))]
("Eric" "is" "round" "-")
((triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
True
4
proof
[(((triple5 ((triple6) -> rule5)) -> rule2))]
("Eric" "is" "cold" "+")
((triple5 ((triple6) -> (rule5 % int2))) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not cold.
False
4
inv-proof
[(((triple5 ((triple6) -> rule5)) -> rule2))]
("Eric" "is" "cold" "-")
((triple5 ((triple6) -> (rule5 % int2))) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is nice.
True
8
proof
[(((((triple5 ((triple6) -> rule5)) -> rule2) triple5 ((triple6) -> rule5)) -> rule1))]
("Eric" "is" "nice" "+")
((((triple5 ((triple6) -> (rule5 % int3))) -> (rule2 % int2)) triple5 ((triple6) -> (rule5 % int3))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not nice.
False
8
inv-proof
[(((((triple5 ((triple6) -> rule5)) -> rule2) triple5 ((triple6) -> rule5)) -> rule1))]
("Eric" "is" "nice" "-")
((((triple5 ((triple6) -> (rule5 % int3))) -> (rule2 % int2)) triple5 ((triple6) -> (rule5 % int3))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Alan is not cold.
Unknown
inv-rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Alan" "is" "cold" "-")
Alan is green.
Unknown
rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Alan" "is" "green" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "young" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Alan is red.[(triple1)] Charlie is big.[(triple4)] Charlie is nice.[(triple3)] Charlie is round.[(triple2 OR ((triple4) -> rule5))] Eric is big.[(triple6)] Eric is green.[(triple5)] Fred is kind.[(triple7)] @1: Eric is round.[(((triple6) -> rule5))] @2: Eric is cold.[(((triple5 ((triple6) -> rule5)) -> rule2))] @3: Eric is nice.[(((((triple5 ((triple6) -> rule5)) -> rule2) triple5 ((triple6) -> rule5)) -> rule1))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
((triple4) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
((triple6) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple5 ((triple6) -> (rule5 % int2))) -> (rule2 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((triple5 ((triple6) -> (rule5 % int3))) -> (rule2 % int2)) triple5 ((triple6) -> (rule5 % int3))) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Red Alan is what folks call him, because he is quite red.
Most people see Charlie as round, albeit nice and big at the same time.
Eric is a person both green and big.
Fred always goes out of his way to show that he is kind to people.
Find someone cold and green; If they are also round, then they are sure to be nice.
Someone who is round in shape and green in color is usually cold.
Someone might be red but blue from the cold dressing in green.
A person who is green and rough and round is also young.
Big people are also round people.
A green and quite rough person will also be blue.
If you ever find someone who's nice, rough, and blue, expect them to also be green.