Alan is a man who is both round and rough. That rough but kind guy is Bob, the green one. Fred is a person both green and big. When you meet Harry you'll the two characteristics that will standout is that he's red but also rough. People that tend to be big and green also tend to be cold. People who always wear red and act in a kind manner towards everyone they meet also have a round body. Because of circulation issues big people are often cold. If they are also green then they are certainly young. If a person behaves in a nice way while they are physically blue and big, they're definitely round. A young, green person who is cold is rough around the edges.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
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 nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and green and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Alan is round.
True
1
proof
[(triple1)]
("Alan" "is" "round" "+")
triple1
Bob is not kind.
False
1
inv-proof
[(triple4)]
("Bob" "is" "kind" "-")
triple4
Fred is cold.
True
3
proof
[(((triple7 triple6) -> rule1))]
("Fred" "is" "cold" "+")
((triple7 triple6) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is not cold.
False
3
inv-proof
[(((triple7 triple6) -> rule1))]
("Fred" "is" "cold" "-")
((triple7 triple6) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
True
6
proof
[(((((triple7 triple6) -> rule1) triple6 triple7) -> rule3))]
("Fred" "is" "young" "+")
((((triple7 triple6) -> (rule1 % int2)) triple6 triple7) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is not young.
False
6
inv-proof
[(((((triple7 triple6) -> rule1) triple6 triple7) -> rule3))]
("Fred" "is" "young" "-")
((((triple7 triple6) -> (rule1 % int2)) triple6 triple7) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is rough.
True
11
proof
[(((((triple7 triple6) -> rule1) triple6 ((((triple7 triple6) -> rule1) triple6 triple7) -> rule3)) -> rule5))]
("Fred" "is" "rough" "+")
((((triple7 triple6) -> (rule1 % int3)) triple6 ((((triple7 triple6) -> (rule1 % int3)) triple6 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is not rough.
False
11
inv-proof
[(((((triple7 triple6) -> rule1) triple6 ((((triple7 triple6) -> rule1) triple6 triple7) -> rule3)) -> rule5))]
("Fred" "is" "rough" "-")
((((triple7 triple6) -> (rule1 % int3)) triple6 ((((triple7 triple6) -> (rule1 % int3)) triple6 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "cold" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is green.[(triple5)] Bob is kind.[(triple4)] Bob is rough.[(triple3)] Fred is big.[(triple7)] Fred is green.[(triple6)] Harry is red.[(triple9)] Harry is rough.[(triple8)] @1: Fred is cold.[(((triple7 triple6) -> rule1))] @2: Fred is young.[(((((triple7 triple6) -> rule1) triple6 triple7) -> rule3))] @3: Fred is rough.[(((((triple7 triple6) -> rule1) triple6 ((((triple7 triple6) -> rule1) triple6 triple7) -> rule3)) -> rule5))]
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
((triple7 triple6) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((((triple7 triple6) -> (rule1 % int2)) triple6 triple7) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((((triple7 triple6) -> (rule1 % int3)) triple6 ((((triple7 triple6) -> (rule1 % int3)) triple6 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Alan is a man who is both round and rough.
That rough but kind guy is Bob, the green one.
Fred is a person both green and big.
When you meet Harry you'll the two characteristics that will standout is that he's red but also rough.
People that tend to be big and green also tend to be cold.
People who always wear red and act in a kind manner towards everyone they meet also have a round body.
Because of circulation issues big people are often cold; If they are also green then they are certainly young.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.
A young, green person who is cold is rough around the edges.