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. Eric fits the description of someone who is rough, red and blue. I was surprised at how green and blue young, round Harry is. Because someone is green and kind they are extremely nice to people. Big, round, red people are always so young. People who are young and green are also kind. A person who is round and nice is cold.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and round and red then they are young.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is young and green then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and round then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Harry is young.
True
1
proof
[(triple7)]
("Harry" "is" "young" "+")
triple7
Bob is not cold.
False
1
inv-proof
[(triple3)]
("Bob" "is" "cold" "-")
triple3
Harry is kind.
True
3
proof
[(((triple7 triple9) -> rule3))]
("Harry" "is" "kind" "+")
((triple7 triple9) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple7 triple9) -> rule3))]
("Harry" "is" "kind" "-")
((triple7 triple9) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
True
5
proof
[(((triple9 ((triple7 triple9) -> rule3)) -> rule1))]
("Harry" "is" "nice" "+")
((triple9 ((triple7 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not nice.
False
5
inv-proof
[(((triple9 ((triple7 triple9) -> rule3)) -> rule1))]
("Harry" "is" "nice" "-")
((triple9 ((triple7 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
True
7
proof
[(((((triple9 ((triple7 triple9) -> rule3)) -> rule1) triple8) -> rule4))]
("Harry" "is" "cold" "+")
((((triple9 ((triple7 triple9) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not cold.
False
7
inv-proof
[(((((triple9 ((triple7 triple9) -> rule3)) -> rule1) triple8) -> rule4))]
("Harry" "is" "cold" "-")
((((triple9 ((triple7 triple9) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "young" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "cold" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "kind" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is cold.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Eric is blue.[(triple6)] Eric is red.[(triple5)] Eric is rough.[(triple4)] Harry is blue.[(triple10)] Harry is green.[(triple9)] Harry is round.[(triple8)] Harry is young.[(triple7)] @1: Harry is kind.[(((triple7 triple9) -> rule3))] @2: Harry is nice.[(((triple9 ((triple7 triple9) -> rule3)) -> rule1))] @3: Harry is cold.[(((((triple9 ((triple7 triple9) -> rule3)) -> rule1) triple8) -> rule4))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
((triple7 triple9) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple9 ((triple7 triple9) -> (rule3 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple9 ((triple7 triple9) -> (rule3 % int3))) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
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.
Eric fits the description of someone who is rough, red and blue.
I was surprised at how green and blue young, round Harry is.
Because someone is green and kind they are extremely nice to people.
Big, round, red people are always so young.
People who are young and green are also kind.
A person who is round and nice is cold.