Even though Bob is big and rough, he is nice. Bob often is blue and green with envy. That rough but kind guy is Dave, the green one. Red Fred is what folks call him, because he is quite red. Because Gary gets cold easily he tends to appear round from bundling up. A nice person who is green is feeling cold. Round, blue, and green people are poften rough. A big person who looks blue is also going to look young. Nice, green people that are somewhat round are big through the shoulders. Kind young people that are still blue are generally round shaped. Kind people who are nice find that they must also be rough. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.
Bob is rough.
("Bob" "is" "rough" "+")
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 kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is red.
("Fred" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
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 young and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and nice and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Gary is cold.
True
1
proof
[(triple11)]
("Gary" "is" "cold" "+")
triple11
Bob is not green.
False
1
inv-proof
[(triple3)]
("Bob" "is" "green" "-")
triple3
Bob is cold.
True
3
proof
[(((triple3 triple2) -> rule1))]
("Bob" "is" "cold" "+")
((triple3 triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple4 triple5) -> rule3))]
("Bob" "is" "young" "-")
((triple4 triple5) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
True
6
proof
[(((((triple3 triple2) -> rule1) triple2 triple5) -> rule7))]
("Bob" "is" "kind" "+")
((((triple3 triple2) -> (rule1 % int2)) triple2 triple5) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not kind.
False
6
inv-proof
[(((((triple3 triple2) -> rule1) triple2 triple5) -> rule7))]
("Bob" "is" "kind" "-")
((((triple3 triple2) -> (rule1 % int2)) triple2 triple5) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
True
11
proof
[(((triple4 ((triple4 triple5) -> rule3) ((((triple3 triple2) -> rule1) triple2 triple5) -> rule7)) -> rule5))]
("Bob" "is" "round" "+")
((triple4 ((triple4 triple5) -> (rule3 % int4)) ((((triple3 triple2) -> (rule1 % int3)) triple2 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is not round.
False
11
inv-proof
[(((triple4 ((triple4 triple5) -> rule3) ((((triple3 triple2) -> rule1) triple2 triple5) -> rule7)) -> rule5))]
("Bob" "is" "round" "-")
((triple4 ((triple4 triple5) -> (rule3 % int4)) ((((triple3 triple2) -> (rule1 % int3)) triple2 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "kind" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "big" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Bob is big.[(triple5)] Bob is blue.[(triple4)] Bob is green.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1 OR ((((((triple3 triple2) -> rule1) triple2 triple5) -> rule7) triple2) -> rule6) OR ((triple4 triple3 ((triple4 ((triple4 triple5) -> rule3) ((((triple3 triple2) -> rule1) triple2 triple5) -> rule7)) -> rule5)) -> rule2))] Dave is green.[(triple8)] Dave is kind.[(triple7)] Dave is rough.[(triple6)] Fred is red.[(triple9)] Gary is cold.[(triple11)] Gary is round.[(triple10)] @1: Bob is cold.[(((triple3 triple2) -> rule1))] Bob is young.[(((triple4 triple5) -> rule3))] @2: Bob is kind.[(((((triple3 triple2) -> rule1) triple2 triple5) -> rule7))] @3: Bob is round.[(((triple4 ((triple4 triple5) -> rule3) ((((triple3 triple2) -> rule1) triple2 triple5) -> rule7)) -> rule5))]
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 rough.
("Bob" "is" "rough" "+")
triple1
((((((triple3 triple2) -> (rule1 % int3)) triple2 triple5) -> (rule7 % int2)) triple2) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple4 triple3 ((triple4 ((triple4 triple5) -> (rule3 % int5)) ((((triple3 triple2) -> (rule1 % int4)) triple2 triple5) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Bob is cold.
("Bob" "is" "cold" "+")
((triple3 triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple4 triple5) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple3 triple2) -> (rule1 % int2)) triple2 triple5) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((triple4 ((triple4 triple5) -> (rule3 % int4)) ((((triple3 triple2) -> (rule1 % int3)) triple2 triple5) -> (rule7 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Even though Bob is big and rough, he is nice; Bob often is blue and green with envy.
That rough but kind guy is Dave, the green one.
Red Fred is what folks call him, because he is quite red.
Because Gary gets cold easily he tends to appear round from bundling up.
A nice person who is green is feeling cold.
Round, blue, and green people are poften rough.
A big person who looks blue is also going to look young.
Nice, green people that are somewhat round are big through the shoulders.
Kind young people that are still blue are generally round shaped.
Kind people who are nice find that they must also be rough.
Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.