Bob is a nice, kind young man.  Bob keeps a sweater with him because he is always cold. Dave is a person both green and big. Eric is nice and young with red hair and a blue shirt. Gary is very nice to people, but he's also rather big. Their actions reflected how young and kind but green they were making things seem blue. Big people that are cold will show you how rough they actually are. Nice green people and often blue with sadness. It is true that anyone who is cold while being young and nice is secretly a kind person. People that feel green are cold to people that try to help them. A person being big and rough makes them cold towards others but that also means that they are kind. Red and kind people always seem to be big as well.
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is young and kind and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and big then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and cold and young then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and big and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Eric is young.
True
1
proof
[(triple7)]
("Eric" "is" "young" "+")
triple7
Bob is not kind.
False
1
inv-proof
[(triple3 OR ((triple2 triple4 triple1) -> rule4))]
("Bob" "is" "kind" "-")
triple3
((triple2 triple4 triple1) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Dave is cold.
True
2
proof
[(((triple5) -> rule5))]
("Dave" "is" "cold" "+")
((triple5) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
2
inv-proof
[(((triple5) -> rule5))]
("Dave" "is" "cold" "-")
((triple5) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
True
4
proof
[(((((triple5) -> rule5) triple6) -> rule2))]
("Dave" "is" "rough" "+")
((((triple5) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not rough.
False
4
inv-proof
[(((((triple5) -> rule5) triple6) -> rule2))]
("Dave" "is" "rough" "-")
((((triple5) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
True
8
proof
[(((((triple5) -> rule5) triple6 ((((triple5) -> rule5) triple6) -> rule2)) -> rule6))]
("Dave" "is" "kind" "+")
((((triple5) -> (rule5 % int3)) triple6 ((((triple5) -> (rule5 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not kind.
False
8
inv-proof
[(((((triple5) -> rule5) triple6 ((((triple5) -> rule5) triple6) -> rule2)) -> rule6))]
("Dave" "is" "kind" "-")
((((triple5) -> (rule5 % int3)) triple6 ((((triple5) -> (rule5 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Eric is not big.
Unknown
inv-rconc
[@3: Eric is big.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule5 <- FAIL)]]
("Eric" "is" "big" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "blue" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is kind.
Unknown
rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Gary" "is" "kind" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is cold.[(triple4)] Bob is kind.[(triple3 OR ((triple2 triple4 triple1) -> rule4))] Bob is nice.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple6)] Dave is green.[(triple5)] Eric is blue.[(triple10)] Eric is nice.[(triple9)] Eric is red.[(triple8)] Eric is young.[(triple7)] Gary is big.[(triple12)] Gary is nice.[(triple11)] @1: Dave is cold.[(((triple5) -> rule5))] @2: Dave is rough.[(((((triple5) -> rule5) triple6) -> rule2))] @3: Dave is kind.[(((((triple5) -> rule5) triple6 ((((triple5) -> rule5) triple6) -> rule2)) -> rule6))]
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple2 triple4 triple1) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple5
Eric is blue.
("Eric" "is" "blue" "+")
triple10
Eric is nice.
("Eric" "is" "nice" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is young.
("Eric" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Dave is cold.
("Dave" "is" "cold" "+")
((triple5) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((((triple5) -> (rule5 % int2)) triple6) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((((triple5) -> (rule5 % int3)) triple6 ((((triple5) -> (rule5 % int3)) triple6) -> (rule2 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Bob is a nice, kind young man; Bob keeps a sweater with him because he is always cold.
Dave is a person both green and big.
Eric is nice and young with red hair and a blue shirt.
Gary is very nice to people, but he's also rather big.
Their actions reflected how young and kind but green they were making things seem blue.
Big people that are cold will show you how rough they actually are.
Nice green people and often blue with sadness.
It is true that anyone who is cold while being young and nice is secretly a kind person.
People that feel green are cold to people that try to help them.
A person being big and rough makes them cold towards others but that also means that they are kind.
Red and kind people always seem to be big as well.