Even though he's a big dude, Bob is cold. Dave's cold expression hid how nice he was. He was constantly blue about it though which was rough. He was noticeably round too. Fred always goes out of his way to show that he is kind to people. Young Harry got into a fight that left him with red sores on his face. People who are red and round are usually assumed to be green. A round someone could be blue and round but maybe red. I've noticed that red, cold people who are kind have the trait of rough skin. Red people who are green and blue are always kind.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is red and round then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is round and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and cold and red then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and blue and green then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Bob is not big.
False
1
inv-proof
[(triple2)]
("Bob" "is" "big" "-")
triple2
Dave is red.
True
3
proof
[(((triple3 triple7) -> rule2))]
("Dave" "is" "red" "+")
((triple3 triple7) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
3
inv-proof
[(((triple3 triple7) -> rule2))]
("Dave" "is" "red" "-")
((triple3 triple7) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
True
5
proof
[(((((triple3 triple7) -> rule2) triple3) -> rule1))]
("Dave" "is" "green" "+")
((((triple3 triple7) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not green.
False
5
inv-proof
[(((((triple3 triple7) -> rule2) triple3) -> rule1))]
("Dave" "is" "green" "-")
((((triple3 triple7) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
True
10
proof
[(((((triple3 triple7) -> rule2) triple7 ((((triple3 triple7) -> rule2) triple3) -> rule1)) -> rule4))]
("Dave" "is" "kind" "+")
((((triple3 triple7) -> (rule2 % int3)) triple7 ((((triple3 triple7) -> (rule2 % int3)) triple3) -> (rule1 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not kind.
False
10
inv-proof
[(((((triple3 triple7) -> rule2) triple7 ((((triple3 triple7) -> rule2) triple3) -> rule1)) -> rule4))]
("Dave" "is" "kind" "-")
((((triple3 triple7) -> (rule2 % int3)) triple7 ((((triple3 triple7) -> (rule2 % int3)) triple3) -> (rule1 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "rough" "-")
Bob is rough.
Unknown
rconc
[@2: Bob is rough.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Bob" "is" "rough" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "green" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is big.[(triple2)] Bob is cold.[(triple1)] Dave is blue.[(triple7)] Dave is cold.[(triple6)] Dave is nice.[(triple5)] Dave is rough.[(triple4 OR ((((((triple3 triple7) -> rule2) triple7 ((((triple3 triple7) -> rule2) triple3) -> rule1)) -> rule4) triple6 ((triple3 triple7) -> rule2)) -> rule3))] Dave is round.[(triple3)] Fred is kind.[(triple8)] Harry is red.[(triple10)] Harry is young.[(triple9)] @1: Dave is red.[(((triple3 triple7) -> rule2))] @2: Dave is green.[(((((triple3 triple7) -> rule2) triple3) -> rule1))] @3: Dave is kind.[(((((triple3 triple7) -> rule2) triple7 ((((triple3 triple7) -> rule2) triple3) -> rule1)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
((((((triple3 triple7) -> (rule2 % int4)) triple7 ((((triple3 triple7) -> (rule2 % int4)) triple3) -> (rule1 % int3))) -> (rule4 % int2)) triple6 ((triple3 triple7) -> (rule2 % int4))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
triple3
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
((triple3 triple7) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((((triple3 triple7) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((((triple3 triple7) -> (rule2 % int3)) triple7 ((((triple3 triple7) -> (rule2 % int3)) triple3) -> (rule1 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Even though he's a big dude, Bob is cold.
Dave's cold expression hid how nice he was; He was constantly blue about it though which was rough; He was noticeably round too.
Fred always goes out of his way to show that he is kind to people.
Young Harry got into a fight that left him with red sores on his face.
People who are red and round are usually assumed to be green.
A round someone could be blue and round but maybe red.
I've noticed that red, cold people who are kind have the trait of rough skin.
Red people who are green and blue are always kind.