Big Bob, the most blue guy I know while also being cold. Red Charlie is what folks call him, because he is quite red. Gary is both young and fairly round in size. Harry is young, but very kind to others. Harry is big, with round features. A young and cold person is red. A big blue someone could also be green. Because of circulation issues big people are often cold. If they are also green then they are certainly young. A person with big hair and rough lips is certainly young and jaded. If you're cold and red then you're nice. Kind young people that are still blue are generally round shaped. Blue, red and nice people are always big, too.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is cold and young then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and green and big then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and big then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and red then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and young and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and blue and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Bob is green.
True
3
proof
[(((triple2 triple3) -> rule2))]
("Bob" "is" "green" "+")
((triple2 triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("Bob" "is" "green" "-")
((triple2 triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
True
6
proof
[(((triple1 ((triple2 triple3) -> rule2) triple3) -> rule3))]
("Bob" "is" "young" "+")
((triple1 ((triple2 triple3) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not young.
False
6
inv-proof
[(((triple1 ((triple2 triple3) -> rule2) triple3) -> rule3))]
("Bob" "is" "young" "-")
((triple1 ((triple2 triple3) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
True
8
proof
[(((triple1 ((triple1 ((triple2 triple3) -> rule2) triple3) -> rule3)) -> rule1))]
("Bob" "is" "red" "+")
((triple1 ((triple1 ((triple2 triple3) -> (rule2 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not red.
False
8
inv-proof
[(((triple1 ((triple1 ((triple2 triple3) -> rule2) triple3) -> rule3)) -> rule1))]
("Bob" "is" "red" "-")
((triple1 ((triple1 ((triple2 triple3) -> (rule2 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is nice.
True
10
proof
[(((triple1 ((triple1 ((triple1 ((triple2 triple3) -> rule2) triple3) -> rule3)) -> rule1)) -> rule5))]
("Bob" "is" "nice" "+")
((triple1 ((triple1 ((triple1 ((triple2 triple3) -> (rule2 % int4)) triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is not nice.
False
10
inv-proof
[(((triple1 ((triple1 ((triple1 ((triple2 triple3) -> rule2) triple3) -> rule3)) -> rule1)) -> rule5))]
("Bob" "is" "nice" "-")
((triple1 ((triple1 ((triple1 ((triple2 triple3) -> (rule2 % int4)) triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "round" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is big.[(triple3)] Bob is blue.[(triple2)] Bob is cold.[(triple1)] Charlie is red.[(triple4)] Gary is round.[(triple6)] Gary is young.[(triple5)] Harry is big.[(triple10)] Harry is kind.[(triple9)] Harry is round.[(triple8)] Harry is young.[(triple7)] @1: Bob is green.[(((triple2 triple3) -> rule2))] @2: Bob is young.[(((triple1 ((triple2 triple3) -> rule2) triple3) -> rule3))] @3: Bob is red.[(((triple1 ((triple1 ((triple2 triple3) -> rule2) triple3) -> rule3)) -> rule1))] @4: Bob is nice.[(((triple1 ((triple1 ((triple1 ((triple2 triple3) -> rule2) triple3) -> rule3)) -> rule1)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
((triple2 triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple1 ((triple2 triple3) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((triple1 ((triple1 ((triple2 triple3) -> (rule2 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((triple1 ((triple1 ((triple1 ((triple2 triple3) -> (rule2 % int4)) triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Big Bob, the most blue guy I know while also being cold.
Red Charlie is what folks call him, because he is quite red.
Gary is both young and fairly round in size.
Harry is young, but very kind to others; Harry is big, with round features.
A young and cold person is red.
A big blue someone could also be green.
Because of circulation issues big people are often cold; If they are also green then they are certainly young.
A person with big hair and rough lips is certainly young and jaded.
If you're cold and red then you're nice.
Kind young people that are still blue are generally round shaped.
Blue, red and nice people are always big, too.