Alan is nice and kind, but a little rough. They always call him rough Dave. Even though Gary is rough, he nice but cold and blue. If someone is cold and young, you'll see that they are kind. When you meet someone that's rough, kind and nice you'll see they are green as well. A nice and cold person can be counted on to be a young person at the same time. A blue person who is young and rough is also red.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is cold and young then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and kind and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Alan is nice.
True
1
proof
[(triple2)]
("Alan" "is" "nice" "+")
triple2
Dave is not rough.
False
1
inv-proof
[(triple4)]
("Dave" "is" "rough" "-")
triple4
Gary is young.
True
3
proof
[(((triple6 triple7) -> rule3))]
("Gary" "is" "young" "+")
((triple6 triple7) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
3
inv-proof
[(((triple6 triple7) -> rule3))]
("Gary" "is" "young" "-")
((triple6 triple7) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
True
6
proof
[(((triple8 ((triple6 triple7) -> rule3) triple5) -> rule4))]
("Gary" "is" "red" "+")
((triple8 ((triple6 triple7) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not red.
False
6
inv-proof
[(((triple8 ((triple6 triple7) -> rule3) triple5) -> rule4))]
("Gary" "is" "red" "-")
((triple8 ((triple6 triple7) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
True
8
proof
[(((triple5 ((triple7 ((triple6 triple7) -> rule3)) -> rule1) triple6) -> rule2))]
("Gary" "is" "green" "+")
((triple5 ((triple7 ((triple6 triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not green.
False
8
inv-proof
[(((triple5 ((triple7 ((triple6 triple7) -> rule3)) -> rule1) triple6) -> rule2))]
("Gary" "is" "green" "-")
((triple5 ((triple7 ((triple6 triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "red" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "young" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is rough.[(triple1)] Dave is rough.[(triple4)] Gary is blue.[(triple8)] Gary is cold.[(triple7)] Gary is nice.[(triple6)] Gary is rough.[(triple5)] @1: Alan is green.[(((triple1 triple3 triple2) -> rule2))] Gary is young.[(((triple6 triple7) -> rule3))] @2: Gary is kind.[(((triple7 ((triple6 triple7) -> rule3)) -> rule1))] Gary is red.[(((triple8 ((triple6 triple7) -> rule3) triple5) -> rule4))] @3: Gary is green.[(((triple5 ((triple7 ((triple6 triple7) -> rule3)) -> rule1) triple6) -> rule2))]
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Alan is green.
("Alan" "is" "green" "+")
((triple1 triple3 triple2) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple6 triple7) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple7 ((triple6 triple7) -> (rule3 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple8 ((triple6 triple7) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple5 ((triple7 ((triple6 triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Alan is nice and kind, but a little rough.
They always call him rough Dave.
Even though Gary is rough, he nice but cold and blue.
If someone is cold and young, you'll see that they are kind.
When you meet someone that's rough, kind and nice you'll see they are green as well.
A nice and cold person can be counted on to be a young person at the same time.
A blue person who is young and rough is also red.