Big, red Bob is quite kind. Charlie is a very kind, green but sometimes cold person. Most everyone considers Dave a rough fellow, but very kind. He's often categorized as blue, and he's big. Gary is blue from ink he spilled on himself while being kind and helping some children paint. A rough textured and cold person is definitely young. Rough people are often round. When someone is young, they can be cold but kind. If you color the young ones blue then they will be kind. Young, kind people have the trait of being cold and are also very nice to interact with. Anybody with rough, kind and blue aspects will certainly be cold, too.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough and cold then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and young and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Charlie is kind.
True
1
proof
[(triple4)]
("Charlie" "is" "kind" "+")
triple4
Bob is not red.
False
1
inv-proof
[(triple1)]
("Bob" "is" "red" "-")
triple1
Dave is cold.
True
4
proof
[(((triple7 triple8 triple9) -> rule6))]
("Dave" "is" "cold" "+")
((triple7 triple8 triple9) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple7) -> rule2))]
("Dave" "is" "round" "-")
((triple7) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
True
6
proof
[(((triple7 ((triple7 triple8 triple9) -> rule6)) -> rule1))]
("Dave" "is" "young" "+")
((triple7 ((triple7 triple8 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not young.
False
6
inv-proof
[(((triple7 ((triple7 triple8 triple9) -> rule6)) -> rule1))]
("Dave" "is" "young" "-")
((triple7 ((triple7 triple8 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
True
12
proof
[(((((triple7 triple8 triple9) -> rule6) ((triple7 ((triple7 triple8 triple9) -> rule6)) -> rule1) triple8) -> rule5))]
("Dave" "is" "nice" "+")
((((triple7 triple8 triple9) -> (rule6 % int3)) ((triple7 ((triple7 triple8 triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not nice.
False
12
inv-proof
[(((((triple7 triple8 triple9) -> rule6) ((triple7 ((triple7 triple8 triple9) -> rule6)) -> rule1) triple8) -> rule5))]
("Dave" "is" "nice" "-")
((((triple7 triple8 triple9) -> (rule6 % int3)) ((triple7 ((triple7 triple8 triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "-")
Bob is nice.
Unknown
rconc
[@2: Bob is nice.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "cold" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is big.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Charlie is cold.[(triple6)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Dave is big.[(triple10)] Dave is blue.[(triple9)] Dave is kind.[(triple8)] Dave is rough.[(triple7)] Gary is blue.[(triple12)] Gary is kind.[(triple11)] @1: Dave is cold.[(((triple7 triple8 triple9) -> rule6))] Dave is round.[(((triple7) -> rule2))] @2: Dave is young.[(((triple7 ((triple7 triple8 triple9) -> rule6)) -> rule1))] @3: Dave is nice.[(((((triple7 triple8 triple9) -> rule6) ((triple7 ((triple7 triple8 triple9) -> rule6)) -> rule1) triple8) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Dave is cold.
("Dave" "is" "cold" "+")
((triple7 triple8 triple9) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple7) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple7 ((triple7 triple8 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple7 triple8 triple9) -> (rule6 % int3)) ((triple7 ((triple7 triple8 triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple8) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Big, red Bob is quite kind.
Charlie is a very kind, green but sometimes cold person.
Most everyone considers Dave a rough fellow, but very kind; He's often categorized as blue, and he's big.
Gary is blue from ink he spilled on himself while being kind and helping some children paint.
A rough textured and cold person is definitely young.
Rough people are often round.
When someone is young, they can be cold but kind.
If you color the young ones blue then they will be kind.
Young, kind people have the trait of being cold and are also very nice to interact with.
Anybody with rough, kind and blue aspects will certainly be cold, too.