Even though young Bob is red from his sunburn, his lips are blue because he is cold. Fred is a rough but very kind and blue person. Gary is young and nice, but when he's feeling blue, he can also be quite cold to people. Red Harry is what folks call him, because he is quite red. A young aged blue person will certainly be nice. A rough, blue person is often said to be nice. If a human is both young and kind, they are also cold. Nice people are kind and rough when they are young. Big, blue people are red. If someone seems young, kind, and nice, expect them to be quite round.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is young and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is young and kind and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Fred is kind.
True
1
proof
[(triple6)]
("Fred" "is" "kind" "+")
triple6
Gary is not nice.
False
1
inv-proof
[(triple9 OR ((triple8 triple11) -> rule1))]
("Gary" "is" "nice" "-")
triple9
((triple8 triple11) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Bob is nice.
True
3
proof
[(((triple1 triple4) -> rule1))]
("Bob" "is" "nice" "+")
((triple1 triple4) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple7 triple5) -> rule2))]
("Fred" "is" "nice" "-")
((triple7 triple5) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
True
6
proof
[(((((triple7 triple5) -> rule2) triple6 triple5) -> rule4))]
("Fred" "is" "young" "+")
((((triple7 triple5) -> (rule2 % int2)) triple6 triple5) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not young.
False
6
inv-proof
[(((((triple7 triple5) -> rule2) triple6 triple5) -> rule4))]
("Fred" "is" "young" "-")
((((triple7 triple5) -> (rule2 % int2)) triple6 triple5) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
True
11
proof
[(((((((triple7 triple5) -> rule2) triple6 triple5) -> rule4) triple6 ((triple7 triple5) -> rule2)) -> rule6))]
("Fred" "is" "round" "+")
((((((triple7 triple5) -> (rule2 % int3)) triple6 triple5) -> (rule4 % int2)) triple6 ((triple7 triple5) -> (rule2 % int3))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not round.
False
11
inv-proof
[(((((((triple7 triple5) -> rule2) triple6 triple5) -> rule4) triple6 ((triple7 triple5) -> rule2)) -> rule6))]
("Fred" "is" "round" "-")
((((((triple7 triple5) -> (rule2 % int3)) triple6 triple5) -> (rule4 % int2)) triple6 ((triple7 triple5) -> (rule2 % int3))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "round" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "round" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is blue.[(triple4)] Bob is cold.[(triple3)] Bob is red.[(triple2)] Bob is young.[(triple1)] Fred is blue.[(triple7)] Fred is kind.[(triple6)] Fred is rough.[(triple5)] Gary is blue.[(triple11)] Gary is cold.[(triple10)] Gary is nice.[(triple9 OR ((triple8 triple11) -> rule1))] Gary is young.[(triple8)] Harry is red.[(triple12)] @1: Bob is nice.[(((triple1 triple4) -> rule1))] Fred is nice.[(((triple7 triple5) -> rule2))] @2: Fred is young.[(((((triple7 triple5) -> rule2) triple6 triple5) -> rule4))] @3: Fred is cold.[(((((((triple7 triple5) -> rule2) triple6 triple5) -> rule4) triple6) -> rule3))] Fred is round.[(((((((triple7 triple5) -> rule2) triple6 triple5) -> rule4) triple6 ((triple7 triple5) -> rule2)) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
((triple8 triple11) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple12
Bob is nice.
("Bob" "is" "nice" "+")
((triple1 triple4) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple7 triple5) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((((triple7 triple5) -> (rule2 % int2)) triple6 triple5) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((((triple7 triple5) -> (rule2 % int3)) triple6 triple5) -> (rule4 % int2)) triple6) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
((((((triple7 triple5) -> (rule2 % int3)) triple6 triple5) -> (rule4 % int2)) triple6 ((triple7 triple5) -> (rule2 % int3))) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Even though young Bob is red from his sunburn, his lips are blue because he is cold.
Fred is a rough but very kind and blue person.
Gary is young and nice, but when he's feeling blue, he can also be quite cold to people.
Red Harry is what folks call him, because he is quite red.
A young aged blue person will certainly be nice.
A rough, blue person is often said to be nice.
If a human is both young and kind, they are also cold.
Nice people are kind and rough when they are young.
Big, blue people are red.
If someone seems young, kind, and nice, expect them to be quite round.