In the snow sits Bob, crying from being cold. That Dave is as round and red as a cherry, and twice as kind. Eric is interestingly colored red and blue, and is also very kind. Fred always goes out of his way to show that he is kind to people. An individual that fits the nice, red, and kind description will fit the description of big, too. You'll always find a young, kind and red person to be a cold person, too. A big person who looks blue is also going to look young. Nice, green people that are somewhat round are big through the shoulders. Any person who is blue and round, if they are kind at the same time, will be young. Red people feel blue about it.
Bob is cold.
("Bob" "is" "cold" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is kind.
("Fred" "is" "kind" "+")
If someone is red and kind and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and young and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and nice and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Dave is kind.
True
1
proof
[(triple4)]
("Dave" "is" "kind" "+")
triple4
Eric is not kind.
False
1
inv-proof
[(triple6)]
("Eric" "is" "kind" "-")
triple6
Dave is blue.
True
2
proof
[(((triple3) -> rule6))]
("Dave" "is" "blue" "+")
((triple3) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
2
inv-proof
[(((triple3) -> rule6))]
("Dave" "is" "blue" "-")
((triple3) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
True
5
proof
[(((((triple3) -> rule6) triple2 triple4) -> rule5))]
("Dave" "is" "young" "+")
((((triple3) -> (rule6 % int2)) triple2 triple4) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not young.
False
5
inv-proof
[(((((triple3) -> rule6) triple2 triple4) -> rule5))]
("Dave" "is" "young" "-")
((((triple3) -> (rule6 % int2)) triple2 triple4) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
True
8
proof
[(((triple4 ((((triple3) -> rule6) triple2 triple4) -> rule5) triple3) -> rule2))]
("Dave" "is" "cold" "+")
((triple4 ((((triple3) -> (rule6 % int3)) triple2 triple4) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not cold.
False
8
inv-proof
[(((triple4 ((((triple3) -> rule6) triple2 triple4) -> rule5) triple3) -> rule2))]
("Dave" "is" "cold" "-")
((triple4 ((((triple3) -> (rule6 % int3)) triple2 triple4) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "big" "-")
Eric is cold.
Unknown
rconc
[@3: Eric is cold.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule1 <- FAIL)]]
("Eric" "is" "cold" "+")
Eric is not young.
Unknown
inv-rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Eric" "is" "young" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "blue" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Bob is cold.[(triple1)] Dave is kind.[(triple4)] Dave is red.[(triple3)] Dave is round.[(triple2)] Eric is blue.[(triple7 OR ((triple5) -> rule6))] Eric is kind.[(triple6)] Eric is red.[(triple5)] Fred is kind.[(triple8)] @1: Dave is blue.[(((triple3) -> rule6))] @2: Dave is young.[(((((triple3) -> rule6) triple2 triple4) -> rule5))] @3: Dave is cold.[(((triple4 ((((triple3) -> rule6) triple2 triple4) -> rule5) triple3) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple7
((triple5) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
((triple3) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((((triple3) -> (rule6 % int2)) triple2 triple4) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple4 ((((triple3) -> (rule6 % int3)) triple2 triple4) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
In the snow sits Bob, crying from being cold.
That Dave is as round and red as a cherry, and twice as kind.
Eric is interestingly colored red and blue, and is also very kind.
Fred always goes out of his way to show that he is kind to people.
An individual that fits the nice, red, and kind description will fit the description of big, too.
You'll always find a young, kind and red person to be a cold person, too.
A big person who looks blue is also going to look young.
Nice, green people that are somewhat round are big through the shoulders.
Any person who is blue and round, if they are kind at the same time, will be young.
Red people feel blue about it.