Bob, who is young, nice, green, and blue, is also rather big shaped. When you meet Dave you'll the two characteristics that will standout is that he's red but also rough. Eric is a kind and red colored guy. A big young person that is green will be cold to others. People who are rough around the edges, nice, and a bit blue are young. Kind people,though green,tend to be nice. It is impossible for a nice person who is blue and red not to be rough. Blue, kind, and cold people are habitually rough. A big, green person who is cold is assumed to be red also.
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
If someone is green and young and big then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and nice and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and red and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and kind and cold then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and big and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Bob is big.
True
1
proof
[(triple5)]
("Bob" "is" "big" "+")
triple5
Dave is not red.
False
1
inv-proof
[(triple7)]
("Dave" "is" "red" "-")
triple7
Bob is cold.
True
4
proof
[(((triple3 triple1 triple5) -> rule1))]
("Bob" "is" "cold" "+")
((triple3 triple1 triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
4
inv-proof
[(((triple3 triple1 triple5) -> rule1))]
("Bob" "is" "cold" "-")
((triple3 triple1 triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
True
7
proof
[(((triple3 triple5 ((triple3 triple1 triple5) -> rule1)) -> rule6))]
("Bob" "is" "red" "+")
((triple3 triple5 ((triple3 triple1 triple5) -> (rule1 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not red.
False
7
inv-proof
[(((triple3 triple5 ((triple3 triple1 triple5) -> rule1)) -> rule6))]
("Bob" "is" "red" "-")
((triple3 triple5 ((triple3 triple1 triple5) -> (rule1 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
True
10
proof
[(((triple4 ((triple3 triple5 ((triple3 triple1 triple5) -> rule1)) -> rule6) triple2) -> rule4))]
("Bob" "is" "rough" "+")
((triple4 ((triple3 triple5 ((triple3 triple1 triple5) -> (rule1 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not rough.
False
10
inv-proof
[(((triple4 ((triple3 triple5 ((triple3 triple1 triple5) -> rule1)) -> rule6) triple2) -> rule4))]
("Bob" "is" "rough" "-")
((triple4 ((triple3 triple5 ((triple3 triple1 triple5) -> (rule1 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "rough" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "rough" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Bob is big.[(triple5)] Bob is blue.[(triple4)] Bob is green.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Dave is red.[(triple7)] Dave is rough.[(triple6)] Eric is kind.[(triple9)] Eric is red.[(triple8)] @1: Bob is cold.[(((triple3 triple1 triple5) -> rule1))] @2: Bob is red.[(((triple3 triple5 ((triple3 triple1 triple5) -> rule1)) -> rule6))] @3: Bob is rough.[(((triple4 ((triple3 triple5 ((triple3 triple1 triple5) -> rule1)) -> rule6) triple2) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
((triple3 triple1 triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple3 triple5 ((triple3 triple1 triple5) -> (rule1 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((triple4 ((triple3 triple5 ((triple3 triple1 triple5) -> (rule1 % int3))) -> (rule6 % int2)) triple2) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob, who is young, nice, green, and blue, is also rather big shaped.
When you meet Dave you'll the two characteristics that will standout is that he's red but also rough.
Eric is a kind and red colored guy.
A big young person that is green will be cold to others.
People who are rough around the edges, nice, and a bit blue are young.
Kind people,though green,tend to be nice.
It is impossible for a nice person who is blue and red not to be rough.
Blue, kind, and cold people are habitually rough.
A big, green person who is cold is assumed to be red also.