Big Alan is young and rough but also very nice in a green sorta way. Round Dave is big and red, but blue from the cold. Gary gets red when he is mad and tends to act very cold. A nice person who is always seen to be wearing green clothes will be rather big in size. If you are green you are also kind. That young person is feeling cold because he is green to the situation making his body shape round. All the kind people in blue were young. Someone with the traits of being cold and red is also going to be someone who is big. A person with the qualities of being cold and being red will also be a person that is green.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and cold and green then they are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Dave is cold.
True
1
proof
[(triple8)]
("Dave" "is" "cold" "+")
triple8
Dave is not round.
False
1
inv-proof
[(triple6 OR ((((triple9 ((((triple8 triple7) -> rule6)) -> rule2)) -> rule4) triple8 ((triple8 triple7) -> rule6)) -> rule3))]
("Dave" "is" "round" "-")
triple6
((((triple9 ((((triple8 triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple8 ((triple8 triple7) -> (rule6 % int4))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is green.
True
3
proof
[(((triple8 triple7) -> rule6))]
("Dave" "is" "green" "+")
((triple8 triple7) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Alan is not kind.
False
2
inv-proof
[(((triple4) -> rule2))]
("Alan" "is" "kind" "-")
((triple4) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Gary is kind.
True
4
proof
[(((((triple12 triple11) -> rule6)) -> rule2))]
("Gary" "is" "kind" "+")
((((triple12 triple11) -> (rule6 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not kind.
False
4
inv-proof
[(((((triple12 triple11) -> rule6)) -> rule2))]
("Gary" "is" "kind" "-")
((((triple12 triple11) -> (rule6 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Dave is young.
True
6
proof
[(((triple9 ((((triple8 triple7) -> rule6)) -> rule2)) -> rule4))]
("Dave" "is" "young" "+")
((triple9 ((((triple8 triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not young.
False
6
inv-proof
[(((triple9 ((((triple8 triple7) -> rule6)) -> rule2)) -> rule4))]
("Dave" "is" "young" "-")
((triple9 ((((triple8 triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "green" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "round" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is big.[(triple5 OR ((triple4 triple3) -> rule1))] Alan is green.[(triple4)] Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Dave is big.[(triple10 OR ((triple8 triple7) -> rule5))] Dave is blue.[(triple9)] Dave is cold.[(triple8)] Dave is red.[(triple7)] Dave is round.[(triple6 OR ((((triple9 ((((triple8 triple7) -> rule6)) -> rule2)) -> rule4) triple8 ((triple8 triple7) -> rule6)) -> rule3))] Gary is cold.[(triple12)] Gary is red.[(triple11)] @1: Alan is kind.[(((triple4) -> rule2))] Dave is green.[(((triple8 triple7) -> rule6))] Gary is big.[(((triple12 triple11) -> rule5))] Gary is green.[(((triple12 triple11) -> rule6))] @2: Dave is kind.[(((((triple8 triple7) -> rule6)) -> rule2))] Gary is kind.[(((((triple12 triple11) -> rule6)) -> rule2))] @3: Dave is young.[(((triple9 ((((triple8 triple7) -> rule6)) -> rule2)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple5
((triple4 triple3) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple10
((triple8 triple7) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
((((triple9 ((((triple8 triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple8 ((triple8 triple7) -> (rule6 % int4))) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple11
Alan is kind.
("Alan" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple8 triple7) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple12 triple11) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple12 triple11) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple8 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple12 triple11) -> (rule6 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple9 ((((triple8 triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Big Alan is young and rough but also very nice in a green sorta way.
Round Dave is big and red, but blue from the cold.
Gary gets red when he is mad and tends to act very cold.
A nice person who is always seen to be wearing green clothes will be rather big in size.
If you are green you are also kind.
That young person is feeling cold because he is green to the situation making his body shape round.
All the kind people in blue were young.
Someone with the traits of being cold and red is also going to be someone who is big.
A person with the qualities of being cold and being red will also be a person that is green.