Bob, who is a young, rough person, is also a kind and cold guy. Charlie has a round face and is very nice. Dave is kind and round. Being round makes him a bit blue. When someone is nice and rough they are usually red. When a nice blue person is also red, they get called rough. Cold and kind people tend to be blue. People who are described as young, green, and big are often considered rough. A person that is rough and round shaped features are going to be red. You can see that cold, blue people are round in shape.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
If someone is nice and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and red and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and green and young then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and rough then they are red.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Dave is blue.
True
1
proof
[(triple9)]
("Dave" "is" "blue" "+")
triple9
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Bob is blue.
True
3
proof
[(((triple4 triple3) -> rule3))]
("Bob" "is" "blue" "+")
((triple4 triple3) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple4 triple3) -> rule3))]
("Bob" "is" "blue" "-")
((triple4 triple3) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
True
5
proof
[(((triple4 ((triple4 triple3) -> rule3)) -> rule6))]
("Bob" "is" "round" "+")
((triple4 ((triple4 triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not round.
False
5
inv-proof
[(((triple4 ((triple4 triple3) -> rule3)) -> rule6))]
("Bob" "is" "round" "-")
((triple4 ((triple4 triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
True
7
proof
[(((((triple4 ((triple4 triple3) -> rule3)) -> rule6) triple2) -> rule5))]
("Bob" "is" "red" "+")
((((triple4 ((triple4 triple3) -> (rule3 % int3))) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not red.
False
7
inv-proof
[(((((triple4 ((triple4 triple3) -> rule3)) -> rule6) triple2) -> rule5))]
("Bob" "is" "red" "-")
((((triple4 ((triple4 triple3) -> (rule3 % int3))) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "blue" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "rough" "+")
Charlie is not red.
Unknown
inv-rconc
[@3: Charlie is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule3 <- FAIL)]]
("Charlie" "is" "red" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "blue" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Charlie is nice.[(triple6)] Charlie is round.[(triple5)] Dave is blue.[(triple9)] Dave is kind.[(triple8)] Dave is round.[(triple7)] @1: Bob is blue.[(((triple4 triple3) -> rule3))] @2: Bob is round.[(((triple4 ((triple4 triple3) -> rule3)) -> rule6))] @3: Bob is red.[(((((triple4 ((triple4 triple3) -> rule3)) -> rule6) triple2) -> rule5))]
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
Bob is blue.
("Bob" "is" "blue" "+")
((triple4 triple3) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple4 ((triple4 triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((((triple4 ((triple4 triple3) -> (rule3 % int3))) -> (rule6 % int2)) triple2) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob, who is a young, rough person, is also a kind and cold guy.
Charlie has a round face and is very nice.
Dave is kind and round; Being round makes him a bit blue.
When someone is nice and rough they are usually red.
When a nice blue person is also red, they get called rough.
Cold and kind people tend to be blue.
People who are described as young, green, and big are often considered rough.
A person that is rough and round shaped features are going to be red.
You can see that cold, blue people are round in shape.