Bob is kind and has rough, round hands that are red. Bob is green with envy when he looks at people who don't have to work. Dave is blue and cold. Surprisingly, all the kind, green people were also big. Those who are nice but a bit rough around the edges are known for being blue. Despite being too big with bright green skin and freezing cold, these people have always been kind. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. Someone who is not only rough and big but also nice will necessarily be round as well. Young cold individuals are usualyy rough. Young people that are nice and green tend to be blue.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and rough then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and green and cold then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and big and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is young and cold then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Bob is rough.
True
1
proof
[(triple2)]
("Bob" "is" "rough" "+")
triple2
Bob is not green.
False
1
inv-proof
[(triple5)]
("Bob" "is" "green" "-")
triple5
Bob is big.
True
3
proof
[(((triple4 triple5) -> rule1))]
("Bob" "is" "big" "+")
((triple4 triple5) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple4 triple5) -> rule1))]
("Bob" "is" "big" "-")
((triple4 triple5) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
True
6
proof
[(((((triple4 triple5) -> rule1) triple1 triple3) -> rule4))]
("Bob" "is" "nice" "+")
((((triple4 triple5) -> (rule1 % int2)) triple1 triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not nice.
False
6
inv-proof
[(((((triple4 triple5) -> rule1) triple1 triple3) -> rule4))]
("Bob" "is" "nice" "-")
((((triple4 triple5) -> (rule1 % int2)) triple1 triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
True
8
proof
[(((((((triple4 triple5) -> rule1) triple1 triple3) -> rule4) triple2) -> rule2))]
("Bob" "is" "blue" "+")
((((((triple4 triple5) -> (rule1 % int3)) triple1 triple3) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not blue.
False
8
inv-proof
[(((((((triple4 triple5) -> rule1) triple1 triple3) -> rule4) triple2) -> rule2))]
("Bob" "is" "blue" "-")
((((((triple4 triple5) -> (rule1 % int3)) triple1 triple3) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "nice" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "rough" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "nice" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Bob is green.[(triple5)] Bob is kind.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Dave is blue.[(triple7)] Dave is cold.[(triple6)] @1: Bob is big.[(((triple4 triple5) -> rule1))] @2: Bob is nice.[(((((triple4 triple5) -> rule1) triple1 triple3) -> rule4))] @3: Bob is blue.[(((((((triple4 triple5) -> rule1) triple1 triple3) -> rule4) triple2) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Bob is big.
("Bob" "is" "big" "+")
((triple4 triple5) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple4 triple5) -> (rule1 % int2)) triple1 triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((((((triple4 triple5) -> (rule1 % int3)) triple1 triple3) -> (rule4 % int2)) triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind and has rough, round hands that are red; Bob is green with envy when he looks at people who don't have to work.
Dave is blue and cold.
Surprisingly, all the kind, green people were also big.
Those who are nice but a bit rough around the edges are known for being blue.
Despite being too big with bright green skin and freezing cold, these people have always been kind.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
Someone who is not only rough and big but also nice will necessarily be round as well.
Young cold individuals are usualyy rough.
Young people that are nice and green tend to be blue.