Alan a big man for his young age. he has red hair and can be rough. Gary was born only a few years ago so he is young. Harry is round shaped and green colored. Round, blue, and green people are poften rough. Big, kind people are nice. Young people who are big, downhearted, and blue are kind. Find a big human that is colored red and green and he will be amazingly kind. Anybody that is big is also someone who is going to be blue. Green and blue, when found in one person, signify someone who is cold. Anyone will tell you the kind and the big are also rough.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is big.
("Alan" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and red and green then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and blue then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and kind then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Alan is young.
True
1
proof
[(triple1)]
("Alan" "is" "young" "+")
triple1
Harry is not green.
False
1
inv-proof
[(triple7)]
("Harry" "is" "green" "-")
triple7
Alan is blue.
True
2
proof
[(((triple4) -> rule5))]
("Alan" "is" "blue" "+")
((triple4) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
2
inv-proof
[(((triple4) -> rule5))]
("Alan" "is" "blue" "-")
((triple4) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is kind.
True
5
proof
[(((triple4 ((triple4) -> rule5) triple1) -> rule3))]
("Alan" "is" "kind" "+")
((triple4 ((triple4) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is not kind.
False
5
inv-proof
[(((triple4 ((triple4) -> rule5) triple1) -> rule3))]
("Alan" "is" "kind" "-")
((triple4 ((triple4) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
True
7
proof
[(((((triple4 ((triple4) -> rule5) triple1) -> rule3) triple4) -> rule2))]
("Alan" "is" "nice" "+")
((((triple4 ((triple4) -> (rule5 % int3)) triple1) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is not nice.
False
7
inv-proof
[(((((triple4 ((triple4) -> rule5) triple1) -> rule3) triple4) -> rule2))]
("Alan" "is" "nice" "-")
((((triple4 ((triple4) -> (rule5 % int3)) triple1) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "blue" "-")
Harry is rough.
Unknown
rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Harry" "is" "rough" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Alan is big.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2 OR ((triple4 ((triple4 ((triple4) -> rule5) triple1) -> rule3)) -> rule7))] Alan is young.[(triple1)] Gary is young.[(triple5)] Harry is green.[(triple7)] Harry is round.[(triple6)] @1: Alan is blue.[(((triple4) -> rule5))] @2: Alan is kind.[(((triple4 ((triple4) -> rule5) triple1) -> rule3))] @3: Alan is nice.[(((((triple4 ((triple4) -> rule5) triple1) -> rule3) triple4) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
((triple4 ((triple4 ((triple4) -> (rule5 % int3)) triple1) -> (rule3 % int2))) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is young.
("Alan" "is" "young" "+")
triple1
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Alan is blue.
("Alan" "is" "blue" "+")
((triple4) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((triple4 ((triple4) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((((triple4 ((triple4) -> (rule5 % int3)) triple1) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan a big man for his young age; he has red hair and can be rough.
Gary was born only a few years ago so he is young.
Harry is round shaped and green colored.
Round, blue, and green people are poften rough.
Big, kind people are nice.
Young people who are big, downhearted, and blue are kind.
Find a big human that is colored red and green and he will be amazingly kind.
Anybody that is big is also someone who is going to be blue.
Green and blue, when found in one person, signify someone who is cold.
Anyone will tell you the kind and the big are also rough.