Bob is a nice person who is red because he has a rash. The cold, nice, kind man with a round body is known as Dave. Eric is a very rough person. As expected, he's also a very cold and big individual. I know Gary really well and you can say he is rough on the outside, cold on the inside and red all of the time. Nice people that are blue because they are cold turn green with envy. A blue person who is feeling a bit rough and cold will be wearing red. A green person who is kind and a bit blue is young. People who are blue and cold are red. A blue person who is young and rough is also red. A person who is kind but also rough and is also colored blue, will be shaped round. Kind people, for example, like the ones at the bank are always blue.
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and kind and green then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and cold then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and young and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Gary is cold.
True
1
proof
[(triple12)]
("Gary" "is" "cold" "+")
triple12
Gary is not rough.
False
1
inv-proof
[(triple10)]
("Gary" "is" "rough" "-")
triple10
Dave is blue.
True
2
proof
[(((triple5) -> rule7))]
("Dave" "is" "blue" "+")
((triple5) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not blue.
False
2
inv-proof
[(((triple5) -> rule7))]
("Dave" "is" "blue" "-")
((triple5) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
True
4
proof
[(((((triple5) -> rule7) triple6) -> rule4))]
("Dave" "is" "red" "+")
((((triple5) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not red.
False
4
inv-proof
[(((((triple5) -> rule7) triple6) -> rule4))]
("Dave" "is" "red" "-")
((((triple5) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
True
9
proof
[(((((triple5) -> rule7) triple5 ((((triple5) -> rule7) triple4 triple6) -> rule1)) -> rule3))]
("Dave" "is" "young" "+")
((((triple5) -> (rule7 % int3)) triple5 ((((triple5) -> (rule7 % int3)) triple4 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not young.
False
9
inv-proof
[(((((triple5) -> rule7) triple5 ((((triple5) -> rule7) triple4 triple6) -> rule1)) -> rule3))]
("Dave" "is" "young" "-")
((((triple5) -> (rule7 % int3)) triple5 ((((triple5) -> (rule7 % int3)) triple4 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "blue" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "round" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "round" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
@0: Bob is nice.[(triple2)] Bob is red.[(triple1)] Dave is cold.[(triple6)] Dave is kind.[(triple5)] Dave is nice.[(triple4)] Dave is round.[(triple3)] Eric is big.[(triple9)] Eric is cold.[(triple8)] Eric is rough.[(triple7)] Gary is cold.[(triple12)] Gary is red.[(triple11)] Gary is rough.[(triple10)] @1: Dave is blue.[(((triple5) -> rule7))] @2: Dave is green.[(((((triple5) -> rule7) triple4 triple6) -> rule1))] Dave is red.[(((((triple5) -> rule7) triple6) -> rule4))] @3: Dave is young.[(((((triple5) -> rule7) triple5 ((((triple5) -> rule7) triple4 triple6) -> rule1)) -> rule3))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple5) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((((triple5) -> (rule7 % int2)) triple4 triple6) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((triple5) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((triple5) -> (rule7 % int3)) triple5 ((((triple5) -> (rule7 % int3)) triple4 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Bob is a nice person who is red because he has a rash.
The cold, nice, kind man with a round body is known as Dave.
Eric is a very rough person; As expected, he's also a very cold and big individual.
I know Gary really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Nice people that are blue because they are cold turn green with envy.
A blue person who is feeling a bit rough and cold will be wearing red.
A green person who is kind and a bit blue is young.
People who are blue and cold are red.
A blue person who is young and rough is also red.
A person who is kind but also rough and is also colored blue, will be shaped round.
Kind people, for example, like the ones at the bank are always blue.