They always call him rough Bob. Dave is a young man who is a bit on the round side. He can be all over the place as he is nice, kind but also rough and blue with his moods. Fred is a kind and red colored guy. A cold person who is round but rough around the edges is big. An individual that fits the nice, red, and kind description will fit the description of big, too. A quite nice person will certainly be red. You can see that cold, blue people are round in shape. Big kind people are usually cold. When someone is big, young and rough, they can be cold.
Bob is rough.
("Bob" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
If someone is round and cold and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
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 nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and young and big then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Dave is blue.
True
1
proof
[(triple7)]
("Dave" "is" "blue" "+")
triple7
Dave is not rough.
False
1
inv-proof
[(triple4)]
("Dave" "is" "rough" "-")
triple4
Dave is red.
True
2
proof
[(((triple5) -> rule3))]
("Dave" "is" "red" "+")
((triple5) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
2
inv-proof
[(((triple5) -> rule3))]
("Dave" "is" "red" "-")
((triple5) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
True
5
proof
[(((((triple5) -> rule3) triple6 triple5) -> rule2))]
("Dave" "is" "big" "+")
((((triple5) -> (rule3 % int2)) triple6 triple5) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not big.
False
5
inv-proof
[(((((triple5) -> rule3) triple6 triple5) -> rule2))]
("Dave" "is" "big" "-")
((((triple5) -> (rule3 % int2)) triple6 triple5) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
True
7
proof
[(((triple6 ((((triple5) -> rule3) triple6 triple5) -> rule2)) -> rule5) OR ((triple4 triple2 ((((triple5) -> rule3) triple6 triple5) -> rule2)) -> rule6))]
("Dave" "is" "cold" "+")
((triple6 ((((triple5) -> (rule3 % int3)) triple6 triple5) -> (rule2 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((triple4 triple2 ((((triple5) -> (rule3 % int3)) triple6 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not cold.
False
7
inv-proof
[(((triple6 ((((triple5) -> rule3) triple6 triple5) -> rule2)) -> rule5) OR ((triple4 triple2 ((((triple5) -> rule3) triple6 triple5) -> rule2)) -> rule6))]
("Dave" "is" "cold" "-")
((triple6 ((((triple5) -> (rule3 % int3)) triple6 triple5) -> (rule2 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((triple4 triple2 ((((triple5) -> (rule3 % int3)) triple6 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "cold" "-")
Fred is cold.
Unknown
rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Fred" "is" "cold" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
@0: Bob is rough.[(triple1)] Dave is blue.[(triple7)] Dave is kind.[(triple6)] Dave is nice.[(triple5)] Dave is rough.[(triple4)] Dave is round.[(triple3 OR ((((triple6 ((((triple5) -> rule3) triple6 triple5) -> rule2)) -> rule5) triple7) -> rule4) OR ((((triple4 triple2 ((((triple5) -> rule3) triple6 triple5) -> rule2)) -> rule6) triple7) -> rule4))] Dave is young.[(triple2)] Fred is kind.[(triple9)] Fred is red.[(triple8)] @1: Dave is red.[(((triple5) -> rule3))] @2: Dave is big.[(((((triple5) -> rule3) triple6 triple5) -> rule2))] @3: Dave is cold.[(((triple6 ((((triple5) -> rule3) triple6 triple5) -> rule2)) -> rule5) OR ((triple4 triple2 ((((triple5) -> rule3) triple6 triple5) -> rule2)) -> rule6))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
((((triple6 ((((triple5) -> (rule3 % int4)) triple6 triple5) -> (rule2 % int3))) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple4 triple2 ((((triple5) -> (rule3 % int4)) triple6 triple5) -> (rule2 % int3))) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
triple2
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
((triple5) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((((triple5) -> (rule3 % int2)) triple6 triple5) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple6 ((((triple5) -> (rule3 % int3)) triple6 triple5) -> (rule2 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((triple4 triple2 ((((triple5) -> (rule3 % int3)) triple6 triple5) -> (rule2 % int2))) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
They always call him rough Bob.
Dave is a young man who is a bit on the round side; He can be all over the place as he is nice, kind but also rough and blue with his moods.
Fred is a kind and red colored guy.
A cold person who is round but rough around the edges is big.
An individual that fits the nice, red, and kind description will fit the description of big, too.
A quite nice person will certainly be red.
You can see that cold, blue people are round in shape.
Big kind people are usually cold.
When someone is big, young and rough, they can be cold.