Bob is very nice to people, but he's also rather big. Dave who is considered nice was feeling rather rough today. They always call him rough Eric. Gary is a big gentleman who is very nice. He is secretly green with envy. A round and nice person will certainly have a red tint to them. A cold temperatured and green colored person who is also big will be young. Kind, young, green persons are sure to be rough persons, too. If you are green you are also kind. It is true that anyone who is cold while being young and nice is secretly a kind person. Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is round and nice then they are red.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is big and green and cold then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and young and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
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 big and nice and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Bob is big.
True
1
proof
[(triple2)]
("Bob" "is" "big" "+")
triple2
Bob is not big.
False
1
inv-proof
[(triple2)]
("Bob" "is" "big" "-")
triple2
Gary is kind.
True
2
proof
[(((triple7) -> rule4))]
("Gary" "is" "kind" "+")
((triple7) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
2
inv-proof
[(((triple7) -> rule4))]
("Gary" "is" "kind" "-")
((triple7) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
True
5
proof
[(((triple8 triple6 ((triple7) -> rule4)) -> rule6))]
("Gary" "is" "cold" "+")
((triple8 triple6 ((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not cold.
False
5
inv-proof
[(((triple8 triple6 ((triple7) -> rule4)) -> rule6))]
("Gary" "is" "cold" "-")
((triple8 triple6 ((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
True
8
proof
[(((triple8 triple7 ((triple8 triple6 ((triple7) -> rule4)) -> rule6)) -> rule2))]
("Gary" "is" "young" "+")
((triple8 triple7 ((triple8 triple6 ((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not young.
False
8
inv-proof
[(((triple8 triple7 ((triple8 triple6 ((triple7) -> rule4)) -> rule6)) -> rule2))]
("Gary" "is" "young" "-")
((triple8 triple7 ((triple8 triple6 ((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
True
12
proof
[(((((triple7) -> rule4) ((triple8 triple7 ((triple8 triple6 ((triple7) -> rule4)) -> rule6)) -> rule2) triple7) -> rule3))]
("Gary" "is" "rough" "+")
((((triple7) -> (rule4 % int4)) ((triple8 triple7 ((triple8 triple6 ((triple7) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is not rough.
False
12
inv-proof
[(((((triple7) -> rule4) ((triple8 triple7 ((triple8 triple6 ((triple7) -> rule4)) -> rule6)) -> rule2) triple7) -> rule3))]
("Gary" "is" "rough" "-")
((((triple7) -> (rule4 % int4)) ((triple8 triple7 ((triple8 triple6 ((triple7) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "kind" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "+")
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "cold" "+")
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
@0: Bob is big.[(triple2)] Bob is nice.[(triple1)] Dave is nice.[(triple4)] Dave is rough.[(triple3)] Eric is rough.[(triple5)] Gary is big.[(triple8)] Gary is green.[(triple7)] Gary is nice.[(triple6)] @1: Gary is kind.[(((triple7) -> rule4))] @2: Gary is cold.[(((triple8 triple6 ((triple7) -> rule4)) -> rule6))] @3: Gary is young.[(((triple8 triple7 ((triple8 triple6 ((triple7) -> rule4)) -> rule6)) -> rule2))] @4: Gary is rough.[(((((triple7) -> rule4) ((triple8 triple7 ((triple8 triple6 ((triple7) -> rule4)) -> rule6)) -> rule2) triple7) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
((triple7) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple8 triple6 ((triple7) -> (rule4 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple8 triple7 ((triple8 triple6 ((triple7) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((triple7) -> (rule4 % int4)) ((triple8 triple7 ((triple8 triple6 ((triple7) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Bob is very nice to people, but he's also rather big.
Dave who is considered nice was feeling rather rough today.
They always call him rough Eric.
Gary is a big gentleman who is very nice; He is secretly green with envy.
A round and nice person will certainly have a red tint to them.
A cold temperatured and green colored person who is also big will be young.
Kind, young, green persons are sure to be rough persons, too.
If you are green you are also kind.
It is true that anyone who is cold while being young and nice is secretly a kind person.
Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.