Alan is rough but very kind, he is also red in color and young in age. From a certain angle Bob is blue but he is young so maybe that will go away. Gary became so big that he is now very round. Fortunately the rather green man is still nice. In the snow sits Harry, crying from being cold. Big, kind people are nice. A big person in size will definitely be rough. Rough and kind people are big. If red and slightly green people are asked, they will tell you they feel blue. People who are nice, big, and also rough, are considered red.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is kind and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and big and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Gary is nice.
True
1
proof
[(triple8)]
("Gary" "is" "nice" "+")
triple8
Harry is not cold.
False
1
inv-proof
[(triple11)]
("Harry" "is" "cold" "-")
triple11
Gary is rough.
True
2
proof
[(((triple10) -> rule2))]
("Gary" "is" "rough" "+")
((triple10) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Alan is not big.
False
3
inv-proof
[(((triple2 triple4) -> rule3))]
("Alan" "is" "big" "-")
((triple2 triple4) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
True
5
proof
[(((triple4 ((triple2 triple4) -> rule3)) -> rule1))]
("Alan" "is" "nice" "+")
((triple4 ((triple2 triple4) -> (rule3 % int2))) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is not nice.
False
5
inv-proof
[(((triple4 ((triple2 triple4) -> rule3)) -> rule1))]
("Alan" "is" "nice" "-")
((triple4 ((triple2 triple4) -> (rule3 % int2))) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Gary is blue.
True
7
proof
[(((triple9 ((triple8 triple10 ((triple10) -> rule2)) -> rule5)) -> rule4))]
("Gary" "is" "blue" "+")
((triple9 ((triple8 triple10 ((triple10) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not blue.
False
7
inv-proof
[(((triple9 ((triple8 triple10 ((triple10) -> rule2)) -> rule5)) -> rule4))]
("Gary" "is" "blue" "-")
((triple9 ((triple8 triple10 ((triple10) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Bob is not rough.
Unknown
inv-rconc
[@2: Bob is rough.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Bob" "is" "rough" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is red.
Unknown
rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Bob" "is" "red" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Alan is kind.[(triple4)] Alan is red.[(triple3 OR ((((triple4 ((triple2 triple4) -> rule3)) -> rule1) ((triple2 triple4) -> rule3) triple2) -> rule5))] Alan is rough.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple6)] Bob is young.[(triple5)] Gary is big.[(triple10)] Gary is green.[(triple9)] Gary is nice.[(triple8)] Gary is round.[(triple7)] Harry is cold.[(triple11)] @1: Alan is big.[(((triple2 triple4) -> rule3))] Gary is rough.[(((triple10) -> rule2))] @2: Alan is nice.[(((triple4 ((triple2 triple4) -> rule3)) -> rule1))] Gary is red.[(((triple8 triple10 ((triple10) -> rule2)) -> rule5))] @3: Gary is blue.[(((triple9 ((triple8 triple10 ((triple10) -> rule2)) -> rule5)) -> rule4))]
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
((((triple4 ((triple2 triple4) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2 triple4) -> (rule3 % int3)) triple2) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Alan is big.
("Alan" "is" "big" "+")
((triple2 triple4) -> (rule3 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple10) -> (rule2 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((triple4 ((triple2 triple4) -> (rule3 % int2))) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple8 triple10 ((triple10) -> (rule2 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((triple9 ((triple8 triple10 ((triple10) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Alan is rough but very kind, he is also red in color and young in age.
From a certain angle Bob is blue but he is young so maybe that will go away.
Gary became so big that he is now very round; Fortunately the rather green man is still nice.
In the snow sits Harry, crying from being cold.
Big, kind people are nice.
A big person in size will definitely be rough.
Rough and kind people are big.
If red and slightly green people are asked, they will tell you they feel blue.
People who are nice, big, and also rough, are considered red.