Because Alan is so young, he is rough and cold when he can be round instead. Young Dave is quite nice, and because he is so round can be considered quite big. Gary can be rather rough, but surprisingly loves the green. He can be rather blue, and is unusually big. Soon you will understand that big people are nice. Anyone who is round and also cold will surely be big as well. People who are nice and rough are looked at as kind. If you meet a young and kind person who is also rough, they are cold, too.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and cold then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Gary is green.
True
1
proof
[(triple10)]
("Gary" "is" "green" "+")
triple10
Gary is not rough.
False
1
inv-proof
[(triple9)]
("Gary" "is" "rough" "-")
triple9
Alan is big.
True
3
proof
[(((triple2 triple4) -> rule2))]
("Alan" "is" "big" "+")
((triple2 triple4) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is not big.
False
3
inv-proof
[(((triple2 triple4) -> rule2))]
("Alan" "is" "big" "-")
((triple2 triple4) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is nice.
True
4
proof
[(((((triple2 triple4) -> rule2)) -> rule1))]
("Alan" "is" "nice" "+")
((((triple2 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is not nice.
False
4
inv-proof
[(((((triple2 triple4) -> rule2)) -> rule1))]
("Alan" "is" "nice" "-")
((((triple2 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is kind.
True
6
proof
[(((((((triple2 triple4) -> rule2)) -> rule1) triple3) -> rule3))]
("Alan" "is" "kind" "+")
((((((triple2 triple4) -> (rule2 % int3))) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is not kind.
False
6
inv-proof
[(((((((triple2 triple4) -> rule2)) -> rule1) triple3) -> rule3))]
("Alan" "is" "kind" "-")
((((((triple2 triple4) -> (rule2 % int3))) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "cold" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "cold" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Alan is cold.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Dave is big.[(triple8)] Dave is nice.[(triple7 OR ((triple8) -> rule1))] Dave is round.[(triple6)] Dave is young.[(triple5)] Gary is big.[(triple12)] Gary is blue.[(triple11)] Gary is green.[(triple10)] Gary is rough.[(triple9)] @1: Alan is big.[(((triple2 triple4) -> rule2))] Gary is nice.[(((triple12) -> rule1))] @2: Alan is nice.[(((((triple2 triple4) -> rule2)) -> rule1))] Gary is kind.[(((((triple12) -> rule1) triple9) -> rule3))] @3: Alan is kind.[(((((((triple2 triple4) -> rule2)) -> rule1) triple3) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is rough.
("Alan" "is" "rough" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple7
((triple8) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Alan is big.
("Alan" "is" "big" "+")
((triple2 triple4) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple12) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((((triple2 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple12) -> (rule1 % int2)) triple9) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
((((((triple2 triple4) -> (rule2 % int3))) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Because Alan is so young, he is rough and cold when he can be round instead.
Young Dave is quite nice, and because he is so round can be considered quite big.
Gary can be rather rough, but surprisingly loves the green; He can be rather blue, and is unusually big.
Soon you will understand that big people are nice.
Anyone who is round and also cold will surely be big as well.
People who are nice and rough are looked at as kind.
If you meet a young and kind person who is also rough, they are cold, too.