Alan was born only a few years ago so he is young. Eric is a person both green and big. Even though Fred is big and rough, he is nice. Fred often is blue and green with envy. Someone who is round in shape and green in color is usually cold. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. Because of circulation issues big people are often cold. If they are also green then they are certainly young. You will discover that green rough people are always red. A blue and green colored person will be round in shape.
Alan is young.
("Alan" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is green and round then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and green and big then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Fred is green.
True
1
proof
[(triple6)]
("Fred" "is" "green" "+")
triple6
Fred is not blue.
False
1
inv-proof
[(triple7)]
("Fred" "is" "blue" "-")
triple7
Fred is round.
True
3
proof
[(((triple7 triple6) -> rule5))]
("Fred" "is" "round" "+")
((triple7 triple6) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not red.
False
3
inv-proof
[(((triple6 triple4) -> rule4))]
("Fred" "is" "red" "-")
((triple6 triple4) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
True
5
proof
[(((triple6 ((triple7 triple6) -> rule5)) -> rule1))]
("Fred" "is" "cold" "+")
((triple6 ((triple7 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is not cold.
False
5
inv-proof
[(((triple6 ((triple7 triple6) -> rule5)) -> rule1))]
("Fred" "is" "cold" "-")
((triple6 ((triple7 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is young.
True
8
proof
[(((((triple6 ((triple7 triple6) -> rule5)) -> rule1) triple6 triple8) -> rule3))]
("Fred" "is" "young" "+")
((((triple6 ((triple7 triple6) -> (rule5 % int3))) -> (rule1 % int2)) triple6 triple8) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not young.
False
8
inv-proof
[(((((triple6 ((triple7 triple6) -> rule5)) -> rule1) triple6 triple8) -> rule3))]
("Fred" "is" "young" "-")
((((triple6 ((triple7 triple6) -> (rule5 % int3))) -> (rule1 % int2)) triple6 triple8) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "nice" "-")
Eric is nice.
Unknown
rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Eric" "is" "nice" "+")
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "red" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Alan is young.[(triple1)] Eric is big.[(triple3)] Eric is green.[(triple2)] Fred is big.[(triple8)] Fred is blue.[(triple7)] Fred is green.[(triple6)] Fred is nice.[(triple5 OR ((triple8 ((triple7 triple6) -> rule5) ((triple6 triple4) -> rule4)) -> rule2))] Fred is rough.[(triple4)] @1: Fred is red.[(((triple6 triple4) -> rule4))] Fred is round.[(((triple7 triple6) -> rule5))] @2: Fred is cold.[(((triple6 ((triple7 triple6) -> rule5)) -> rule1))] @3: Fred is young.[(((((triple6 ((triple7 triple6) -> rule5)) -> rule1) triple6 triple8) -> rule3))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple3
Eric is green.
("Eric" "is" "green" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
((triple8 ((triple7 triple6) -> (rule5 % int3)) ((triple6 triple4) -> (rule4 % int2))) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
((triple6 triple4) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple7 triple6) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple6 ((triple7 triple6) -> (rule5 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((((triple6 ((triple7 triple6) -> (rule5 % int3))) -> (rule1 % int2)) triple6 triple8) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Alan was born only a few years ago so he is young.
Eric is a person both green and big.
Even though Fred is big and rough, he is nice; Fred often is blue and green with envy.
Someone who is round in shape and green in color is usually cold.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
Because of circulation issues big people are often cold; If they are also green then they are certainly young.
You will discover that green rough people are always red.
A blue and green colored person will be round in shape.