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. When you see Fred, you will notice he is cold, big and kind. Gary is rough around the edges, but he's often blue and always nice. Harry is very nice to people, but he's also rather big. Soon you will understand that big people are nice. A person who is cold but red, and big in size is young for sure. Big and round people who arent cold, tend to be very kind. Anyone that is a red, nice soul will be big, too. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. Red and kind people always seem to be big as well. I bet you didn't know that nice, kind, cold people happen to be red.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and big and cold then they are young.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and big and round then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and kind and cold then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Gary is blue.
True
1
proof
[(triple9)]
("Gary" "is" "blue" "+")
triple9
Fred is not cold.
False
1
inv-proof
[(triple5)]
("Fred" "is" "cold" "-")
triple5
Fred is nice.
True
2
proof
[(((triple6) -> rule1))]
("Fred" "is" "nice" "+")
((triple6) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fred" "is" "nice" "-")
((triple6) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
True
5
proof
[(((((triple6) -> rule1) triple4 triple5) -> rule7))]
("Fred" "is" "red" "+")
((((triple6) -> (rule1 % int2)) triple4 triple5) -> (rule7 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not red.
False
5
inv-proof
[(((((triple6) -> rule1) triple4 triple5) -> rule7))]
("Fred" "is" "red" "-")
((((triple6) -> (rule1 % int2)) triple4 triple5) -> (rule7 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
True
8
proof
[(((((((triple6) -> rule1) triple4 triple5) -> rule7) triple6 triple5) -> rule2))]
("Fred" "is" "young" "+")
((((((triple6) -> (rule1 % int3)) triple4 triple5) -> (rule7 % int2)) triple6 triple5) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not young.
False
8
inv-proof
[(((((((triple6) -> rule1) triple4 triple5) -> rule7) triple6 triple5) -> rule2))]
("Fred" "is" "young" "-")
((((((triple6) -> (rule1 % int3)) triple4 triple5) -> (rule7 % int2)) triple6 triple5) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "-")
Bob is young.
Unknown
rconc
[@5: Bob is young.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule1 <- rule6 <- rule3 <- FAIL)]]
("Bob" "is" "young" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "red" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Bob is cold.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Fred is big.[(triple6)] Fred is cold.[(triple5)] Fred is kind.[(triple4)] Gary is blue.[(triple9)] Gary is nice.[(triple8)] Gary is rough.[(triple7)] Harry is big.[(triple11)] Harry is nice.[(triple10 OR ((triple11) -> rule1))] @1: Fred is nice.[(((triple6) -> rule1))] @2: Fred is red.[(((((triple6) -> rule1) triple4 triple5) -> rule7))] @3: Fred is young.[(((((((triple6) -> rule1) triple4 triple5) -> rule7) triple6 triple5) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
((triple11) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple6) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((((triple6) -> (rule1 % int2)) triple4 triple5) -> (rule7 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((((((triple6) -> (rule1 % int3)) triple4 triple5) -> (rule7 % int2)) triple6 triple5) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
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.
When you see Fred, you will notice he is cold, big and kind.
Gary is rough around the edges, but he's often blue and always nice.
Harry is very nice to people, but he's also rather big.
Soon you will understand that big people are nice.
A person who is cold but red, and big in size is young for sure.
Big and round people who arent cold, tend to be very kind.
Anyone that is a red, nice soul will be big, too.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
Red and kind people always seem to be big as well.
I bet you didn't know that nice, kind, cold people happen to be red.