Others enjoy Bob's company because he is so nice and kind. Dave has a round face and is very nice. Eric is a man who is both round and rough. They always call him rough Gary. Kind people that are rough and round are also considered big. Lucky for us, people that are round and red are kind to strangers. A kind, cold, round person will be nice in addition. Despite being kind cold people with red ears will still be big. Someone being both nice and kind means that they are a big person. Big people are also round people. Anyone who is known to be kind, nice, and round is generally also known to be a green color.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If someone is rough and kind and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and round and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and red and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice and round then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Eric is rough.
True
1
proof
[(triple6)]
("Eric" "is" "rough" "+")
triple6
Eric is not round.
False
1
inv-proof
[(triple5)]
("Eric" "is" "round" "-")
triple5
Bob is big.
True
3
proof
[(((triple1 triple2) -> rule5))]
("Bob" "is" "big" "+")
((triple1 triple2) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple1 triple2) -> rule5))]
("Bob" "is" "big" "-")
((triple1 triple2) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
True
4
proof
[(((((triple1 triple2) -> rule5)) -> rule6))]
("Bob" "is" "round" "+")
((((triple1 triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not round.
False
4
inv-proof
[(((((triple1 triple2) -> rule5)) -> rule6))]
("Bob" "is" "round" "-")
((((triple1 triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
True
7
proof
[(((triple2 triple1 ((((triple1 triple2) -> rule5)) -> rule6)) -> rule7))]
("Bob" "is" "green" "+")
((triple2 triple1 ((((triple1 triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not green.
False
7
inv-proof
[(((triple2 triple1 ((((triple1 triple2) -> rule5)) -> rule6)) -> rule7))]
("Bob" "is" "green" "-")
((triple2 triple1 ((((triple1 triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "kind" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "+")
Gary is not round.
Unknown
inv-rconc
[@3: Gary is round.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule3 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is green.
Unknown
rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Gary" "is" "green" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Bob is kind.[(triple2)] Bob is nice.[(triple1)] Dave is nice.[(triple4)] Dave is round.[(triple3)] Eric is rough.[(triple6)] Eric is round.[(triple5)] Gary is rough.[(triple7)] @1: Bob is big.[(((triple1 triple2) -> rule5))] @2: Bob is round.[(((((triple1 triple2) -> rule5)) -> rule6))] @3: Bob is green.[(((triple2 triple1 ((((triple1 triple2) -> rule5)) -> rule6)) -> rule7))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Bob is big.
("Bob" "is" "big" "+")
((triple1 triple2) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple1 triple2) -> (rule5 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple2 triple1 ((((triple1 triple2) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Others enjoy Bob's company because he is so nice and kind.
Dave has a round face and is very nice.
Eric is a man who is both round and rough.
They always call him rough Gary.
Kind people that are rough and round are also considered big.
Lucky for us, people that are round and red are kind to strangers.
A kind, cold, round person will be nice in addition.
Despite being kind cold people with red ears will still be big.
Someone being both nice and kind means that they are a big person.
Big people are also round people.
Anyone who is known to be kind, nice, and round is generally also known to be a green color.