Dave ate some rotten meat and now feels green. Young Gary was known to be nice and kind, even though he was blue. Others enjoy Harry's company because he is so nice and kind. Young and nice people have great big smiles. Red, big people can't help but be round as well. A kind, cold, round person will be nice in addition. A person with the qualities of being cold and being red will also be a person that is green. Big people that tend to be nice and blue, may also be a little rough to others. If you meet a young and kind person who is also rough, they are cold, too.
Dave is green.
("Dave" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is red and big then they are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and round and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is big and nice and blue then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Harry is nice.
True
1
proof
[(triple6)]
("Harry" "is" "nice" "+")
triple6
Gary is not young.
False
1
inv-proof
[(triple2)]
("Gary" "is" "young" "-")
triple2
Gary is big.
True
3
proof
[(((triple2 triple3) -> rule1))]
("Gary" "is" "big" "+")
((triple2 triple3) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("Gary" "is" "big" "-")
((triple2 triple3) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
True
6
proof
[(((((triple2 triple3) -> rule1) triple3 triple5) -> rule5))]
("Gary" "is" "rough" "+")
((((triple2 triple3) -> (rule1 % int2)) triple3 triple5) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not rough.
False
6
inv-proof
[(((((triple2 triple3) -> rule1) triple3 triple5) -> rule5))]
("Gary" "is" "rough" "-")
((((triple2 triple3) -> (rule1 % int2)) triple3 triple5) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
True
9
proof
[(((((((triple2 triple3) -> rule1) triple3 triple5) -> rule5) triple2 triple4) -> rule6))]
("Gary" "is" "cold" "+")
((((((triple2 triple3) -> (rule1 % int3)) triple3 triple5) -> (rule5 % int2)) triple2 triple4) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not cold.
False
9
inv-proof
[(((((((triple2 triple3) -> rule1) triple3 triple5) -> rule5) triple2 triple4) -> rule6))]
("Gary" "is" "cold" "-")
((((((triple2 triple3) -> (rule1 % int3)) triple3 triple5) -> (rule5 % int2)) triple2 triple4) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "cold" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "+")
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "cold" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
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" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Dave is green.[(triple1)] Gary is blue.[(triple5)] Gary is kind.[(triple4)] Gary is nice.[(triple3)] Gary is young.[(triple2)] Harry is kind.[(triple7)] Harry is nice.[(triple6)] @1: Gary is big.[(((triple2 triple3) -> rule1))] @2: Gary is rough.[(((((triple2 triple3) -> rule1) triple3 triple5) -> rule5))] @3: Gary is cold.[(((((((triple2 triple3) -> rule1) triple3 triple5) -> rule5) triple2 triple4) -> rule6))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple2
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
((triple2 triple3) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((((triple2 triple3) -> (rule1 % int2)) triple3 triple5) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((((triple2 triple3) -> (rule1 % int3)) triple3 triple5) -> (rule5 % int2)) triple2 triple4) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Dave ate some rotten meat and now feels green.
Young Gary was known to be nice and kind, even though he was blue.
Others enjoy Harry's company because he is so nice and kind.
Young and nice people have great big smiles.
Red, big people can't help but be round as well.
A kind, cold, round person will be nice in addition.
A person with the qualities of being cold and being red will also be a person that is green.
Big people that tend to be nice and blue, may also be a little rough to others.
If you meet a young and kind person who is also rough, they are cold, too.