I know Bob really well and you can say he is rough on the outside, cold on the inside and red all of the time. Dave ate some rotten meat and now feels green. Fred has rough skin that is tinged with both red and green.  He has a round shape and is nice to everyone he meets. Gary is a person both green and big. A cold and young aged person will be big for sure. Nice and kind people tend to live green lifestyle and arent very rough. Cold people with rough, green skin are young. A person that is feeling blue and slightly big, is red as well. When you meet a young, red person, you'll learn they are also nice. Being blue, cold, and rough must be very trying. At least they are also big. A green and red colored person who has a nice temperament will be cold.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is young and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and kind and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and rough and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and red then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and cold and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is green and nice and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Fred is green.
True
1
proof
[(triple9)]
("Fred" "is" "green" "+")
triple9
Fred is not red.
False
1
inv-proof
[(triple7)]
("Fred" "is" "red" "-")
triple7
Fred is cold.
True
4
proof
[(((triple9 triple8 triple7) -> rule7))]
("Fred" "is" "cold" "+")
((triple9 triple8 triple7) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is not cold.
False
4
inv-proof
[(((triple9 triple8 triple7) -> rule7))]
("Fred" "is" "cold" "-")
((triple9 triple8 triple7) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
True
7
proof
[(((((triple9 triple8 triple7) -> rule7) triple6 triple9) -> rule3))]
("Fred" "is" "young" "+")
((((triple9 triple8 triple7) -> (rule7 % int2)) triple6 triple9) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is not young.
False
7
inv-proof
[(((((triple9 triple8 triple7) -> rule7) triple6 triple9) -> rule3))]
("Fred" "is" "young" "-")
((((triple9 triple8 triple7) -> (rule7 % int2)) triple6 triple9) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
True
12
proof
[(((((((triple9 triple8 triple7) -> rule7) triple6 triple9) -> rule3) ((triple9 triple8 triple7) -> rule7)) -> rule1))]
("Fred" "is" "big" "+")
((((((triple9 triple8 triple7) -> (rule7 % int3)) triple6 triple9) -> (rule3 % int2)) ((triple9 triple8 triple7) -> (rule7 % int3))) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is not big.
False
12
inv-proof
[(((((((triple9 triple8 triple7) -> rule7) triple6 triple9) -> rule3) ((triple9 triple8 triple7) -> rule7)) -> rule1))]
("Fred" "is" "big" "-")
((((((triple9 triple8 triple7) -> (rule7 % int3)) triple6 triple9) -> (rule3 % int2)) ((triple9 triple8 triple7) -> (rule7 % int3))) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Dave is not big.
Unknown
inv-rconc
[@3: Dave is big.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is young.
Unknown
rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Dave" "is" "young" "+")
Bob is not big.
Unknown
inv-rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Bob" "is" "big" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Dave" "is" "nice" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Bob is cold.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Dave is green.[(triple4)] Fred is green.[(triple9)] Fred is nice.[(triple8)] Fred is red.[(triple7)] Fred is rough.[(triple6)] Fred is round.[(triple5)] Gary is big.[(triple11)] Gary is green.[(triple10)] @1: Fred is cold.[(((triple9 triple8 triple7) -> rule7))] @2: Fred is young.[(((((triple9 triple8 triple7) -> rule7) triple6 triple9) -> rule3))] @3: Fred is big.[(((((((triple9 triple8 triple7) -> rule7) triple6 triple9) -> rule3) ((triple9 triple8 triple7) -> rule7)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple4
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Fred is cold.
("Fred" "is" "cold" "+")
((triple9 triple8 triple7) -> (rule7 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((((triple9 triple8 triple7) -> (rule7 % int2)) triple6 triple9) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((((triple9 triple8 triple7) -> (rule7 % int3)) triple6 triple9) -> (rule3 % int2)) ((triple9 triple8 triple7) -> (rule7 % int3))) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
I know Bob really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Dave ate some rotten meat and now feels green.
Fred has rough skin that is tinged with both red and green; He has a round shape and is nice to everyone he meets.
Gary is a person both green and big.
A cold and young aged person will be big for sure.
Nice and kind people tend to live green lifestyle and arent very rough.
Cold people with rough, green skin are young.
A person that is feeling blue and slightly big, is red as well.
When you meet a young, red person, you'll learn they are also nice.
Being blue, cold, and rough must be very trying; At least they are also big.
A green and red colored person who has a nice temperament will be cold.