Bob is cold which makes him red! Bob is young and rough but also very kind. Young Fred was known to be nice and kind, even though he was blue. Gary's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. A nice person who is green is feeling cold. If a big person is cold and nice, then they are green. When someone is nice, dressing in red, they can be blue because they are cold. A person that is feeling blue and slightly big, is red as well. Young cold individuals are usualyy rough. Kind and nice people who feel blue usually look green. I've noticed that big people with blue and green skin tend to be young.
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and big and nice then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and blue and red then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and cold then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and blue and nice then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is green and big and blue then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Bob is kind.
True
1
proof
[(triple4)]
("Bob" "is" "kind" "+")
triple4
Gary is not green.
False
1
inv-proof
[(triple11)]
("Gary" "is" "green" "-")
triple11
Fred is green.
True
4
proof
[(((triple8 triple9 triple7) -> rule6))]
("Fred" "is" "green" "+")
((triple8 triple9 triple7) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Gary is not cold.
False
3
inv-proof
[(((triple11 triple10) -> rule1))]
("Gary" "is" "cold" "-")
((triple11 triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Fred is cold.
True
6
proof
[(((((triple8 triple9 triple7) -> rule6) triple7) -> rule1))]
("Fred" "is" "cold" "+")
((((triple8 triple9 triple7) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is not cold.
False
6
inv-proof
[(((((triple8 triple9 triple7) -> rule6) triple7) -> rule1))]
("Fred" "is" "cold" "-")
((((triple8 triple9 triple7) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
True
8
proof
[(((triple6 ((((triple8 triple9 triple7) -> rule6) triple7) -> rule1)) -> rule5))]
("Fred" "is" "rough" "+")
((triple6 ((((triple8 triple9 triple7) -> (rule6 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not rough.
False
8
inv-proof
[(((triple6 ((((triple8 triple9 triple7) -> rule6) triple7) -> rule1)) -> rule5))]
("Fred" "is" "rough" "-")
((triple6 ((((triple8 triple9 triple7) -> (rule6 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not rough.
Unknown
inv-rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Gary" "is" "rough" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Bob is cold.[(triple5)] Bob is kind.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2 OR ((triple1 triple5) -> rule5))] Bob is young.[(triple1)] Fred is blue.[(triple9)] Fred is kind.[(triple8)] Fred is nice.[(triple7)] Fred is young.[(triple6)] Gary is blue.[(triple12)] Gary is green.[(triple11)] Gary is nice.[(triple10)] @1: Fred is green.[(((triple8 triple9 triple7) -> rule6))] Gary is cold.[(((triple11 triple10) -> rule1))] @2: Fred is cold.[(((((triple8 triple9 triple7) -> rule6) triple7) -> rule1))] @3: Fred is rough.[(((triple6 ((((triple8 triple9 triple7) -> rule6) triple7) -> rule1)) -> rule5))]
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
((triple1 triple5) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
((triple8 triple9 triple7) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple11 triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((((triple8 triple9 triple7) -> (rule6 % int2)) triple7) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((triple6 ((((triple8 triple9 triple7) -> (rule6 % int3)) triple7) -> (rule1 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Bob is cold which makes him red! Bob is young and rough but also very kind.
Young Fred was known to be nice and kind, even though he was blue.
Gary's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
A nice person who is green is feeling cold.
If a big person is cold and nice, then they are green.
When someone is nice, dressing in red, they can be blue because they are cold.
A person that is feeling blue and slightly big, is red as well.
Young cold individuals are usualyy rough.
Kind and nice people who feel blue usually look green.
I've noticed that big people with blue and green skin tend to be young.