Bob ate some rotten meat and now feels green. Eric was a complicated man. He was rough and red, yet nice and kind. He was as cold as he was blue. Red Gary is what folks call him, because he is quite red. A round person who is nice is young. When someone feels blue and rough, they might be described as green. If you are big and young then your are also nice. If a nice person is round shaped, they feel blue about it. A blue and green colored person will be round in shape. A blue, rough and round person will also be a big person.
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and rough and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Gary is red.
True
1
proof
[(triple8)]
("Gary" "is" "red" "+")
triple8
Eric is not nice.
False
1
inv-proof
[(triple4)]
("Eric" "is" "nice" "-")
triple4
Eric is green.
True
3
proof
[(((triple7 triple2) -> rule2))]
("Eric" "is" "green" "+")
((triple7 triple2) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
3
inv-proof
[(((triple7 triple2) -> rule2))]
("Eric" "is" "green" "-")
((triple7 triple2) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is round.
True
5
proof
[(((triple7 ((triple7 triple2) -> rule2)) -> rule5))]
("Eric" "is" "round" "+")
((triple7 ((triple7 triple2) -> (rule2 % int2))) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not round.
False
5
inv-proof
[(((triple7 ((triple7 triple2) -> rule2)) -> rule5))]
("Eric" "is" "round" "-")
((triple7 ((triple7 triple2) -> (rule2 % int2))) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is young.
True
7
proof
[(((triple4 ((triple7 ((triple7 triple2) -> rule2)) -> rule5)) -> rule1))]
("Eric" "is" "young" "+")
((triple4 ((triple7 ((triple7 triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not young.
False
7
inv-proof
[(((triple4 ((triple7 ((triple7 triple2) -> rule2)) -> rule5)) -> rule1))]
("Eric" "is" "young" "-")
((triple4 ((triple7 ((triple7 triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is young.
Unknown
rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Bob" "is" "young" "+")
Fred is not blue.
Unknown
inv-rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Fred" "is" "blue" "-")
Gary is round.
Unknown
rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Gary" "is" "round" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is green.[(triple1)] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Eric is kind.[(triple5)] Eric is nice.[(triple4)] Eric is red.[(triple3)] Eric is rough.[(triple2)] Gary is red.[(triple8)] @1: Eric is green.[(((triple7 triple2) -> rule2))] @2: Eric is round.[(((triple7 ((triple7 triple2) -> rule2)) -> rule5))] @3: Eric is big.[(((triple7 triple2 ((triple7 ((triple7 triple2) -> rule2)) -> rule5)) -> rule6))] Eric is young.[(((triple4 ((triple7 ((triple7 triple2) -> rule2)) -> rule5)) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
((triple7 triple2) -> (rule2 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple7 ((triple7 triple2) -> (rule2 % int2))) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple7 triple2 ((triple7 ((triple7 triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
((triple4 ((triple7 ((triple7 triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Bob ate some rotten meat and now feels green.
Eric was a complicated man; He was rough and red, yet nice and kind; He was as cold as he was blue.
Red Gary is what folks call him, because he is quite red.
A round person who is nice is young.
When someone feels blue and rough, they might be described as green.
If you are big and young then your are also nice.
If a nice person is round shaped, they feel blue about it.
A blue and green colored person will be round in shape.
A blue, rough and round person will also be a big person.