You could say that Bob is red and kind and it would also be true that he is cold and big. Charlie has a round face and is very nice. Dave is nice and kind despite the appearance of his cold, red skin. Harry, like all young people, is nice. This person is nice and young, also round, which makes them cold. A kind red person is also a blue person. People who are cold even when they're nice and round, they are young. Anybody that is blue, red and cold will also be round, for sure.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is young and nice and round then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and red then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and round and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and cold and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Bob is big.
True
1
proof
[(triple4)]
("Bob" "is" "big" "+")
triple4
Charlie is not nice.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "nice" "-")
triple6
Bob is blue.
True
3
proof
[(((triple2 triple1) -> rule2))]
("Bob" "is" "blue" "+")
((triple2 triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple2 triple1) -> rule2))]
("Bob" "is" "blue" "-")
((triple2 triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
True
6
proof
[(((((triple2 triple1) -> rule2) triple3 triple1) -> rule4))]
("Bob" "is" "round" "+")
((((triple2 triple1) -> (rule2 % int2)) triple3 triple1) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not round.
False
6
inv-proof
[(((((triple2 triple1) -> rule2) triple3 triple1) -> rule4))]
("Bob" "is" "round" "-")
((((triple2 triple1) -> (rule2 % int2)) triple3 triple1) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Dave is young.
True
9
proof
[(((triple8 ((((triple9 triple7) -> rule2) triple10 triple7) -> rule4) triple10) -> rule3))]
("Dave" "is" "young" "+")
((triple8 ((((triple9 triple7) -> (rule2 % int3)) triple10 triple7) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not young.
False
9
inv-proof
[(((triple8 ((((triple9 triple7) -> rule2) triple10 triple7) -> rule4) triple10) -> rule3))]
("Dave" "is" "young" "-")
((triple8 ((((triple9 triple7) -> (rule2 % int3)) triple10 triple7) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "round" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Charlie" "is" "cold" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is big.[(triple4)] Bob is cold.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Charlie is nice.[(triple6)] Charlie is round.[(triple5)] Dave is cold.[(triple10)] Dave is kind.[(triple9)] Dave is nice.[(triple8)] Dave is red.[(triple7)] Harry is nice.[(triple12)] Harry is young.[(triple11)] @1: Bob is blue.[(((triple2 triple1) -> rule2))] Dave is blue.[(((triple9 triple7) -> rule2))] @2: Bob is round.[(((((triple2 triple1) -> rule2) triple3 triple1) -> rule4))] Dave is round.[(((((triple9 triple7) -> rule2) triple10 triple7) -> rule4))] @3: Dave is young.[(((triple8 ((((triple9 triple7) -> rule2) triple10 triple7) -> rule4) triple10) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is young.
("Harry" "is" "young" "+")
triple11
Bob is blue.
("Bob" "is" "blue" "+")
((triple2 triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple9 triple7) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple2 triple1) -> (rule2 % int2)) triple3 triple1) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((triple9 triple7) -> (rule2 % int2)) triple10 triple7) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple8 ((((triple9 triple7) -> (rule2 % int3)) triple10 triple7) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
You could say that Bob is red and kind and it would also be true that he is cold and big.
Charlie has a round face and is very nice.
Dave is nice and kind despite the appearance of his cold, red skin.
Harry, like all young people, is nice.
This person is nice and young, also round, which makes them cold.
A kind red person is also a blue person.
People who are cold even when they're nice and round, they are young.
Anybody that is blue, red and cold will also be round, for sure.