Bob, a green man, was also big, but underneath he was kind. Young, red Eric is nice. Young Fred is red, green and cold. Harry is both young and fairly round in size. If a red person is cold and kind to others, they also tend to be blue. When someone is young, they can be cold but kind. 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. Cold and kind people tend to be blue. Being cold and blue made them rough to deal with. A nice person with rough skin will be round, you can count on it.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is cold and kind and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
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 kind then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Eric is red.
True
1
proof
[(triple5)]
("Eric" "is" "red" "+")
triple5
Eric is not young.
False
1
inv-proof
[(triple4)]
("Eric" "is" "young" "-")
triple4
Fred is kind.
True
3
proof
[(((triple7 triple10) -> rule2))]
("Fred" "is" "kind" "+")
((triple7 triple10) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is not kind.
False
3
inv-proof
[(((triple7 triple10) -> rule2))]
("Fred" "is" "kind" "-")
((triple7 triple10) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
True
5
proof
[(((triple10 ((triple7 triple10) -> rule2)) -> rule5) OR ((triple10 ((triple7 triple10) -> rule2) triple8) -> rule1))]
("Fred" "is" "blue" "+")
((triple10 ((triple7 triple10) -> (rule2 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
((triple10 ((triple7 triple10) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is not blue.
False
5
inv-proof
[(((triple10 ((triple7 triple10) -> rule2)) -> rule5) OR ((triple10 ((triple7 triple10) -> rule2) triple8) -> rule1))]
("Fred" "is" "blue" "-")
((triple10 ((triple7 triple10) -> (rule2 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
((triple10 ((triple7 triple10) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
True
7
proof
[(((triple10 ((triple10 ((triple7 triple10) -> rule2)) -> rule5)) -> rule6) OR ((triple10 ((triple10 ((triple7 triple10) -> rule2) triple8) -> rule1)) -> rule6))]
("Fred" "is" "rough" "+")
((triple10 ((triple10 ((triple7 triple10) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
((triple10 ((triple10 ((triple7 triple10) -> (rule2 % int3)) triple8) -> (rule1 % int2))) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not rough.
False
7
inv-proof
[(((triple10 ((triple10 ((triple7 triple10) -> rule2)) -> rule5)) -> rule6) OR ((triple10 ((triple10 ((triple7 triple10) -> rule2) triple8) -> rule1)) -> rule6))]
("Fred" "is" "rough" "-")
((triple10 ((triple10 ((triple7 triple10) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
((triple10 ((triple10 ((triple7 triple10) -> (rule2 % int3)) triple8) -> (rule1 % int2))) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "rough" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "+")
Bob is not young.
Unknown
inv-rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Bob" "is" "young" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "blue" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is kind.[(triple1)] Eric is nice.[(triple6)] Eric is red.[(triple5)] Eric is young.[(triple4)] Fred is cold.[(triple10)] Fred is green.[(triple9)] Fred is red.[(triple8)] Fred is young.[(triple7)] Harry is round.[(triple12)] Harry is young.[(triple11)] @1: Fred is kind.[(((triple7 triple10) -> rule2))] @2: Fred is blue.[(((triple10 ((triple7 triple10) -> rule2)) -> rule5) OR ((triple10 ((triple7 triple10) -> rule2) triple8) -> rule1))] @3: Fred is rough.[(((triple10 ((triple10 ((triple7 triple10) -> rule2)) -> rule5)) -> rule6) OR ((triple10 ((triple10 ((triple7 triple10) -> rule2) triple8) -> rule1)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple12
Harry is young.
("Harry" "is" "young" "+")
triple11
Fred is kind.
("Fred" "is" "kind" "+")
((triple7 triple10) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple10 ((triple7 triple10) -> (rule2 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
((triple10 ((triple7 triple10) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((triple10 ((triple10 ((triple7 triple10) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
((triple10 ((triple10 ((triple7 triple10) -> (rule2 % int3)) triple8) -> (rule1 % int2))) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Bob, a green man, was also big, but underneath he was kind.
Young, red Eric is nice.
Young Fred is red, green and cold.
Harry is both young and fairly round in size.
If a red person is cold and kind to others, they also tend to be blue.
When someone is young, they can be cold but kind.
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.
Cold and kind people tend to be blue.
Being cold and blue made them rough to deal with.
A nice person with rough skin will be round, you can count on it.