Bob's characteristics are that he is young, round, red, nice, kind, green and big. Because Gary gets cold easily he tends to appear round from bundling up. Harry is a nice round guy, which leads to him being red. If a red and blue person is also kind to people that means they are rough as well. A good thing to remember is that rough and green people are round as well. A person who is in school because of their young age with a round body and the constant desire to be nice will be feeling blue. Anybody with rough, kind and blue aspects will certainly be cold, too.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is red and blue and kind then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and green then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round and young and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and kind and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Gary is round.
True
1
proof
[(triple8)]
("Gary" "is" "round" "+")
triple8
Harry is not red.
False
1
inv-proof
[(triple11)]
("Harry" "is" "red" "-")
triple11
Bob is blue.
True
4
proof
[(((triple2 triple1 triple4) -> rule3))]
("Bob" "is" "blue" "+")
((triple2 triple1 triple4) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
4
inv-proof
[(((triple2 triple1 triple4) -> rule3))]
("Bob" "is" "blue" "-")
((triple2 triple1 triple4) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
True
7
proof
[(((triple3 ((triple2 triple1 triple4) -> rule3) triple5) -> rule1))]
("Bob" "is" "rough" "+")
((triple3 ((triple2 triple1 triple4) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not rough.
False
7
inv-proof
[(((triple3 ((triple2 triple1 triple4) -> rule3) triple5) -> rule1))]
("Bob" "is" "rough" "-")
((triple3 ((triple2 triple1 triple4) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
True
13
proof
[(((((triple3 ((triple2 triple1 triple4) -> rule3) triple5) -> rule1) triple5 ((triple2 triple1 triple4) -> rule3)) -> rule4))]
("Bob" "is" "cold" "+")
((((triple3 ((triple2 triple1 triple4) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple5 ((triple2 triple1 triple4) -> (rule3 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is not cold.
False
13
inv-proof
[(((((triple3 ((triple2 triple1 triple4) -> rule3) triple5) -> rule1) triple5 ((triple2 triple1 triple4) -> rule3)) -> rule4))]
("Bob" "is" "cold" "-")
((((triple3 ((triple2 triple1 triple4) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple5 ((triple2 triple1 triple4) -> (rule3 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "blue" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Bob is big.[(triple7)] Bob is green.[(triple6)] Bob is kind.[(triple5)] Bob is nice.[(triple4)] Bob is red.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Gary is cold.[(triple9)] Gary is round.[(triple8)] Harry is nice.[(triple12)] Harry is red.[(triple11)] Harry is round.[(triple10)] @1: Bob is blue.[(((triple2 triple1 triple4) -> rule3))] @2: Bob is rough.[(((triple3 ((triple2 triple1 triple4) -> rule3) triple5) -> rule1))] @3: Bob is cold.[(((((triple3 ((triple2 triple1 triple4) -> rule3) triple5) -> rule1) triple5 ((triple2 triple1 triple4) -> rule3)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple2 triple1 triple4) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple3 ((triple2 triple1 triple4) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((triple3 ((triple2 triple1 triple4) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple5 ((triple2 triple1 triple4) -> (rule3 % int3))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob's characteristics are that he is young, round, red, nice, kind, green and big.
Because Gary gets cold easily he tends to appear round from bundling up.
Harry is a nice round guy, which leads to him being red.
If a red and blue person is also kind to people that means they are rough as well.
A good thing to remember is that rough and green people are round as well.
A person who is in school because of their young age with a round body and the constant desire to be nice will be feeling blue.
Anybody with rough, kind and blue aspects will certainly be cold, too.