Dave was born only a few years ago so he is young. Eric is very young to be a nurse but he loves helping others because he is so nice and kind. When you talk about Gary, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Someone who is young and nice is often round. Big people with round and somewhat red faces will have rough skin. Round people are often red before they turn green. Being cold and blue made them rough to deal with. Someone who is kind and young with a round figure will always be red too. You can see that cold, blue people are round in shape. A person who is young and cold and green is kind.
Dave is young.
("Dave" "is" "young" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is big and round and red then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and red then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and young and kind then they are red.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is green and young and cold then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Eric is nice.
True
1
proof
[(triple3)]
("Eric" "is" "nice" "+")
triple3
Eric is not young.
False
1
inv-proof
[(triple2)]
("Eric" "is" "young" "-")
triple2
Eric is round.
True
3
proof
[(((triple2 triple3) -> rule1))]
("Eric" "is" "round" "+")
((triple2 triple3) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("Eric" "is" "round" "-")
((triple2 triple3) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
True
6
proof
[(((((triple2 triple3) -> rule1) triple2 triple4) -> rule5))]
("Eric" "is" "red" "+")
((((triple2 triple3) -> (rule1 % int2)) triple2 triple4) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not red.
False
6
inv-proof
[(((((triple2 triple3) -> rule1) triple2 triple4) -> rule5))]
("Eric" "is" "red" "-")
((((triple2 triple3) -> (rule1 % int2)) triple2 triple4) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
True
10
proof
[(((((triple2 triple3) -> rule1) ((((triple2 triple3) -> rule1) triple2 triple4) -> rule5)) -> rule3))]
("Eric" "is" "green" "+")
((((triple2 triple3) -> (rule1 % int3)) ((((triple2 triple3) -> (rule1 % int3)) triple2 triple4) -> (rule5 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is not green.
False
10
inv-proof
[(((((triple2 triple3) -> rule1) ((((triple2 triple3) -> rule1) triple2 triple4) -> rule5)) -> rule3))]
("Eric" "is" "green" "-")
((((triple2 triple3) -> (rule1 % int3)) ((((triple2 triple3) -> (rule1 % int3)) triple2 triple4) -> (rule5 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is red.
Unknown
rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Dave" "is" "red" "+")
Gary is not green.
Unknown
inv-rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "green" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "red" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
@0: Dave is young.[(triple1)] Eric is kind.[(triple4)] Eric is nice.[(triple3)] Eric is young.[(triple2)] Gary is cold.[(triple7)] Gary is nice.[(triple6)] Gary is rough.[(triple5)] @1: Eric is round.[(((triple2 triple3) -> rule1))] @2: Eric is red.[(((((triple2 triple3) -> rule1) triple2 triple4) -> rule5))] @3: Eric is green.[(((((triple2 triple3) -> rule1) ((((triple2 triple3) -> rule1) triple2 triple4) -> rule5)) -> rule3))]
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
((triple2 triple3) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((((triple2 triple3) -> (rule1 % int2)) triple2 triple4) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((((triple2 triple3) -> (rule1 % int3)) ((((triple2 triple3) -> (rule1 % int3)) triple2 triple4) -> (rule5 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Dave was born only a few years ago so he is young.
Eric is very young to be a nurse but he loves helping others because he is so nice and kind.
When you talk about Gary, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
Someone who is young and nice is often round.
Big people with round and somewhat red faces will have rough skin.
Round people are often red before they turn green.
Being cold and blue made them rough to deal with.
Someone who is kind and young with a round figure will always be red too.
You can see that cold, blue people are round in shape.
A person who is young and cold and green is kind.