Bob is young and kind.  But he plays really rough with his friends. Big Fred is still young so it's easy for him to be kind. Gary, a green man, was also big, but underneath he was kind. Harry is blue just like his dog. Harry is rough and round enough for the dog to use him as an exercise wheel. A nice person who is green is feeling cold. A nice and kind person who is big sized will be cold. A human that's cold also means they are a human that is young. A cold temperatured and rough person who is also green will be big shaped. Anyone that's described as young, kind and blue can be said to be cold, too. A kind, young human will also be a blue human. A big, blue and cold person will also be a round person.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and kind and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and rough and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is young and blue and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and cold and blue then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Bob is young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Harry is not round.
False
1
inv-proof
[(triple10)]
("Harry" "is" "round" "-")
triple10
Bob is blue.
True
3
proof
[(((triple3 triple1) -> rule6))]
("Bob" "is" "blue" "+")
((triple3 triple1) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
3
inv-proof
[(((triple3 triple1) -> rule6))]
("Bob" "is" "blue" "-")
((triple3 triple1) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
True
6
proof
[(((triple1 ((triple3 triple1) -> rule6) triple3) -> rule5))]
("Bob" "is" "cold" "+")
((triple1 ((triple3 triple1) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Fred is not cold.
False
6
inv-proof
[(((triple4 ((triple5 triple4) -> rule6) triple5) -> rule5))]
("Fred" "is" "cold" "-")
((triple4 ((triple5 triple4) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
True
11
proof
[(((triple6 ((triple4 ((triple5 triple4) -> rule6) triple5) -> rule5) ((triple5 triple4) -> rule6)) -> rule7))]
("Fred" "is" "round" "+")
((triple6 ((triple4 ((triple5 triple4) -> (rule6 % int3)) triple5) -> (rule5 % int2)) ((triple5 triple4) -> (rule6 % int3))) -> (rule7 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not round.
False
11
inv-proof
[(((triple6 ((triple4 ((triple5 triple4) -> rule6) triple5) -> rule5) ((triple5 triple4) -> rule6)) -> rule7))]
("Fred" "is" "round" "-")
((triple6 ((triple4 ((triple5 triple4) -> (rule6 % int3)) triple5) -> (rule5 % int2)) ((triple5 triple4) -> (rule6 % int3))) -> (rule7 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Gary is not cold.
Unknown
inv-rconc
[@3: Gary is cold.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule1 <- FAIL)]]
("Gary" "is" "cold" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "big" "+")
Gary is not round.
Unknown
inv-rconc
[@4: Gary is round.[CWA. Example of deepest failure = (rule7 <- rule5 <- rule3 <- rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is young.
Unknown
rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is kind.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Fred is big.[(triple6)] Fred is kind.[(triple5)] Fred is young.[(triple4)] Gary is big.[(triple9)] Gary is green.[(triple8)] Gary is kind.[(triple7)] Harry is blue.[(triple12)] Harry is rough.[(triple11)] Harry is round.[(triple10)] @1: Bob is blue.[(((triple3 triple1) -> rule6))] Fred is blue.[(((triple5 triple4) -> rule6))] @2: Bob is cold.[(((triple1 ((triple3 triple1) -> rule6) triple3) -> rule5))] Fred is cold.[(((triple4 ((triple5 triple4) -> rule6) triple5) -> rule5))] @3: Fred is round.[(((triple6 ((triple4 ((triple5 triple4) -> rule6) triple5) -> rule5) ((triple5 triple4) -> rule6)) -> rule7))]
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple3 triple1) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple5 triple4) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple1 ((triple3 triple1) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((triple4 ((triple5 triple4) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple6 ((triple4 ((triple5 triple4) -> (rule6 % int3)) triple5) -> (rule5 % int2)) ((triple5 triple4) -> (rule6 % int3))) -> (rule7 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Bob is young and kind; But he plays really rough with his friends.
Big Fred is still young so it's easy for him to be kind.
Gary, a green man, was also big, but underneath he was kind.
Harry is blue just like his dog; Harry is rough and round enough for the dog to use him as an exercise wheel.
A nice person who is green is feeling cold.
A nice and kind person who is big sized will be cold.
A human that's cold also means they are a human that is young.
A cold temperatured and rough person who is also green will be big shaped.
Anyone that's described as young, kind and blue can be said to be cold, too.
A kind, young human will also be a blue human.
A big, blue and cold person will also be a round person.