Bob is sometimes cold and blue, but he can also be kind and big. Red Dave is what folks call him, because he is quite red. Fred is blue just like his dog. Fred is rough and round enough for the dog to use him as an exercise wheel. Harry, a green man, was also big, but underneath he was kind. All people that are rough and cold, as well as nice will be kind if you talk to them. Nice and blue people have to be big as well. Big, kind people are nice. A person who is cold but red, and big in size is young for sure. If you find that someone has rough blue skin they are always kind. Big,cold,kind people tend to be red in color to others. A young person who is both big and blue is also someone who is green.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and rough and cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and big and cold then they are young.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and big and cold then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and young and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Harry is kind.
True
1
proof
[(triple9)]
("Harry" "is" "kind" "+")
triple9
Fred is not round.
False
1
inv-proof
[(triple6)]
("Fred" "is" "round" "-")
triple6
Bob is nice.
True
3
proof
[(((triple1 triple4) -> rule3))]
("Bob" "is" "nice" "+")
((triple1 triple4) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple1 triple4) -> rule3))]
("Bob" "is" "nice" "-")
((triple1 triple4) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
True
7
proof
[(((((triple1 triple4 triple2) -> rule6) triple4 triple2) -> rule4))]
("Bob" "is" "young" "+")
((((triple1 triple4 triple2) -> (rule6 % int2)) triple4 triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not young.
False
7
inv-proof
[(((((triple1 triple4 triple2) -> rule6) triple4 triple2) -> rule4))]
("Bob" "is" "young" "-")
((((triple1 triple4 triple2) -> (rule6 % int2)) triple4 triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
True
10
proof
[(((triple3 ((((triple1 triple4 triple2) -> rule6) triple4 triple2) -> rule4) triple4) -> rule7))]
("Bob" "is" "green" "+")
((triple3 ((((triple1 triple4 triple2) -> (rule6 % int3)) triple4 triple2) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not green.
False
10
inv-proof
[(((triple3 ((((triple1 triple4 triple2) -> rule6) triple4 triple2) -> rule4) triple4) -> rule7))]
("Bob" "is" "green" "-")
((triple3 ((((triple1 triple4 triple2) -> (rule6 % int3)) triple4 triple2) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "young" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "young" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "red" "-")
Fred is nice.
Unknown
rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Fred" "is" "nice" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is big.[(triple4)] Bob is blue.[(triple3)] Bob is cold.[(triple2)] Bob is kind.[(triple1)] Dave is red.[(triple5)] Fred is blue.[(triple8)] Fred is rough.[(triple7)] Fred is round.[(triple6)] Harry is big.[(triple11)] Harry is green.[(triple10)] Harry is kind.[(triple9)] @1: Bob is nice.[(((triple1 triple4) -> rule3))] Bob is red.[(((triple1 triple4 triple2) -> rule6))] Fred is kind.[(((triple7 triple8) -> rule5))] Harry is nice.[(((triple9 triple11) -> rule3))] @2: Bob is young.[(((((triple1 triple4 triple2) -> rule6) triple4 triple2) -> rule4))] @3: Bob is green.[(((triple3 ((((triple1 triple4 triple2) -> rule6) triple4 triple2) -> rule4) triple4) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Bob is nice.
("Bob" "is" "nice" "+")
((triple1 triple4) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple1 triple4 triple2) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple7 triple8) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple9 triple11) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple1 triple4 triple2) -> (rule6 % int2)) triple4 triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple3 ((((triple1 triple4 triple2) -> (rule6 % int3)) triple4 triple2) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is sometimes cold and blue, but he can also be kind and big.
Red Dave is what folks call him, because he is quite red.
Fred is blue just like his dog; Fred is rough and round enough for the dog to use him as an exercise wheel.
Harry, a green man, was also big, but underneath he was kind.
All people that are rough and cold, as well as nice will be kind if you talk to them.
Nice and blue people have to be big as well.
Big, kind people are nice.
A person who is cold but red, and big in size is young for sure.
If you find that someone has rough blue skin they are always kind.
Big,cold,kind people tend to be red in color to others.
A young person who is both big and blue is also someone who is green.