Alan always goes out of his way to show that he is kind to people. Dave is young but big for his age and he's cold and red at the moment too. Fred is nice and kind, but a little rough. Harry is a man who is both round and rough. Get out of the way if a red and green person walks up to you because they are rough. A round shaped and red person is definitely nice. A big, young human being is sure to also be a green human being. Rough and green people are also nice. Young people that are big in size, tend to be more on the blue side.
Alan is kind.
("Alan" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is red and green then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Harry is round.
True
1
proof
[(triple9)]
("Harry" "is" "round" "+")
triple9
Dave is not young.
False
1
inv-proof
[(triple2)]
("Dave" "is" "young" "-")
triple2
Dave is green.
True
3
proof
[(((triple5 triple2) -> rule3))]
("Dave" "is" "green" "+")
((triple5 triple2) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple5 triple2) -> rule3))]
("Dave" "is" "green" "-")
((triple5 triple2) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
True
5
proof
[(((triple3 ((triple5 triple2) -> rule3)) -> rule1))]
("Dave" "is" "rough" "+")
((triple3 ((triple5 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is not rough.
False
5
inv-proof
[(((triple3 ((triple5 triple2) -> rule3)) -> rule1))]
("Dave" "is" "rough" "-")
((triple3 ((triple5 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
True
9
proof
[(((((triple3 ((triple5 triple2) -> rule3)) -> rule1) ((triple5 triple2) -> rule3)) -> rule4))]
("Dave" "is" "nice" "+")
((((triple3 ((triple5 triple2) -> (rule3 % int3))) -> (rule1 % int2)) ((triple5 triple2) -> (rule3 % int3))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not nice.
False
9
inv-proof
[(((((triple3 ((triple5 triple2) -> rule3)) -> rule1) ((triple5 triple2) -> rule3)) -> rule4))]
("Dave" "is" "nice" "-")
((((triple3 ((triple5 triple2) -> (rule3 % int3))) -> (rule1 % int2)) ((triple5 triple2) -> (rule3 % int3))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "blue" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "blue" "+")
Alan is not nice.
Unknown
inv-rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Alan" "is" "nice" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "green" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is kind.[(triple1)] Dave is big.[(triple5)] Dave is cold.[(triple4)] Dave is red.[(triple3)] Dave is young.[(triple2)] Fred is kind.[(triple8)] Fred is nice.[(triple7)] Fred is rough.[(triple6)] Harry is rough.[(triple10)] Harry is round.[(triple9)] @1: Dave is blue.[(((triple5 triple2) -> rule5))] Dave is green.[(((triple5 triple2) -> rule3))] @2: Dave is rough.[(((triple3 ((triple5 triple2) -> rule3)) -> rule1))] @3: Dave is nice.[(((((triple3 ((triple5 triple2) -> rule3)) -> rule1) ((triple5 triple2) -> rule3)) -> rule4))]
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Dave is blue.
("Dave" "is" "blue" "+")
((triple5 triple2) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple5 triple2) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple3 ((triple5 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple3 ((triple5 triple2) -> (rule3 % int3))) -> (rule1 % int2)) ((triple5 triple2) -> (rule3 % int3))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Alan always goes out of his way to show that he is kind to people.
Dave is young but big for his age and he's cold and red at the moment too.
Fred is nice and kind, but a little rough.
Harry is a man who is both round and rough.
Get out of the way if a red and green person walks up to you because they are rough.
A round shaped and red person is definitely nice.
A big, young human being is sure to also be a green human being.
Rough and green people are also nice.
Young people that are big in size, tend to be more on the blue side.