In the snow sits Bob, crying from being cold. Dave ate some rotten meat and now feels green. Eric is very young red and kind, however he's green, nice and cold as well. Gary is a big gentleman who is very nice. He is secretly green with envy. People that tend to be big and green also tend to be cold. A round person who is nice is young. A person that is cold, blue and nice is also considered to be round. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color. A person that is both nice and young will also be cold.
Bob is cold.
("Bob" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and blue and nice then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and cold and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Eric is kind.
True
1
proof
[(triple6)]
("Eric" "is" "kind" "+")
triple6
Eric is not kind.
False
1
inv-proof
[(triple6)]
("Eric" "is" "kind" "-")
triple6
Gary is cold.
True
3
proof
[(((triple11 triple10) -> rule1))]
("Gary" "is" "cold" "+")
((triple11 triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
3
inv-proof
[(((triple11 triple10) -> rule1))]
("Gary" "is" "cold" "-")
((triple11 triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
True
6
proof
[(((triple9 ((triple11 triple10) -> rule1) triple11) -> rule4))]
("Gary" "is" "blue" "+")
((triple9 ((triple11 triple10) -> (rule1 % int2)) triple11) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not blue.
False
6
inv-proof
[(((triple9 ((triple11 triple10) -> rule1) triple11) -> rule4))]
("Gary" "is" "blue" "-")
((triple9 ((triple11 triple10) -> (rule1 % int2)) triple11) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
True
11
proof
[(((((triple11 triple10) -> rule1) ((triple9 ((triple11 triple10) -> rule1) triple11) -> rule4) triple9) -> rule3))]
("Gary" "is" "round" "+")
((((triple11 triple10) -> (rule1 % int3)) ((triple9 ((triple11 triple10) -> (rule1 % int3)) triple11) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not round.
False
11
inv-proof
[(((((triple11 triple10) -> rule1) ((triple9 ((triple11 triple10) -> rule1) triple11) -> rule4) triple9) -> rule3))]
("Gary" "is" "round" "-")
((((triple11 triple10) -> (rule1 % int3)) ((triple9 ((triple11 triple10) -> (rule1 % int3)) triple11) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
True
13
proof
[(((triple9 ((((triple11 triple10) -> rule1) ((triple9 ((triple11 triple10) -> rule1) triple11) -> rule4) triple9) -> rule3)) -> rule2))]
("Gary" "is" "young" "+")
((triple9 ((((triple11 triple10) -> (rule1 % int4)) ((triple9 ((triple11 triple10) -> (rule1 % int4)) triple11) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is not young.
False
13
inv-proof
[(((triple9 ((((triple11 triple10) -> rule1) ((triple9 ((triple11 triple10) -> rule1) triple11) -> rule4) triple9) -> rule3)) -> rule2))]
("Gary" "is" "young" "-")
((triple9 ((((triple11 triple10) -> (rule1 % int4)) ((triple9 ((triple11 triple10) -> (rule1 % int4)) triple11) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "blue" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "blue" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is cold.[(triple1)] Dave is green.[(triple2)] Eric is cold.[(triple8 OR ((triple5 triple3) -> rule5))] Eric is green.[(triple7)] Eric is kind.[(triple6)] Eric is nice.[(triple5)] Eric is red.[(triple4)] Eric is young.[(triple3)] Gary is big.[(triple11)] Gary is green.[(triple10)] Gary is nice.[(triple9)] @1: Gary is cold.[(((triple11 triple10) -> rule1))] @2: Gary is blue.[(((triple9 ((triple11 triple10) -> rule1) triple11) -> rule4))] @3: Gary is round.[(((((triple11 triple10) -> rule1) ((triple9 ((triple11 triple10) -> rule1) triple11) -> rule4) triple9) -> rule3))] @4: Gary is young.[(((triple9 ((((triple11 triple10) -> rule1) ((triple9 ((triple11 triple10) -> rule1) triple11) -> rule4) triple9) -> rule3)) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Eric is cold.
("Eric" "is" "cold" "+")
triple8
((triple5 triple3) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
((triple11 triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple9 ((triple11 triple10) -> (rule1 % int2)) triple11) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple11 triple10) -> (rule1 % int3)) ((triple9 ((triple11 triple10) -> (rule1 % int3)) triple11) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((triple9 ((((triple11 triple10) -> (rule1 % int4)) ((triple9 ((triple11 triple10) -> (rule1 % int4)) triple11) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
In the snow sits Bob, crying from being cold.
Dave ate some rotten meat and now feels green.
Eric is very young red and kind, however he's green, nice and cold as well.
Gary is a big gentleman who is very nice; He is secretly green with envy.
People that tend to be big and green also tend to be cold.
A round person who is nice is young.
A person that is cold, blue and nice is also considered to be round.
Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.
A person that is both nice and young will also be cold.