Charlie is somewhat red,he is also very nice and kind, he is very big though. Dave is rough but very kind, he is also red in color and young in age. They always call him rough Harry. Kind people that are rough and round are also considered big. Incredible as it may seem, young people who are red and have kind attitudes are always round. A nice and kind natured person that is big in shape will be rough. Those who are round and cold are young. When someone is big, young and rough, they can be cold.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is rough and kind and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is young and red and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and big and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and young and big then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Dave is rough.
True
1
proof
[(triple6)]
("Dave" "is" "rough" "+")
triple6
Charlie is not big.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "big" "-")
triple4
Dave is round.
True
4
proof
[(((triple5 triple7 triple8) -> rule2))]
("Dave" "is" "round" "+")
((triple5 triple7 triple8) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Charlie is not rough.
False
4
inv-proof
[(((triple2 triple4 triple3) -> rule3))]
("Charlie" "is" "rough" "-")
((triple2 triple4 triple3) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Dave is big.
True
7
proof
[(((triple6 triple8 ((triple5 triple7 triple8) -> rule2)) -> rule1))]
("Dave" "is" "big" "+")
((triple6 triple8 ((triple5 triple7 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not big.
False
7
inv-proof
[(((triple6 triple8 ((triple5 triple7 triple8) -> rule2)) -> rule1))]
("Dave" "is" "big" "-")
((triple6 triple8 ((triple5 triple7 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
True
10
proof
[(((triple6 triple5 ((triple6 triple8 ((triple5 triple7 triple8) -> rule2)) -> rule1)) -> rule5))]
("Dave" "is" "cold" "+")
((triple6 triple5 ((triple6 triple8 ((triple5 triple7 triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not cold.
False
10
inv-proof
[(((triple6 triple5 ((triple6 triple8 ((triple5 triple7 triple8) -> rule2)) -> rule1)) -> rule5))]
("Dave" "is" "cold" "-")
((triple6 triple5 ((triple6 triple8 ((triple5 triple7 triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Charlie" "is" "cold" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Charlie is big.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is red.[(triple1)] Dave is kind.[(triple8)] Dave is red.[(triple7)] Dave is rough.[(triple6)] Dave is young.[(triple5)] Harry is rough.[(triple9)] @1: Charlie is rough.[(((triple2 triple4 triple3) -> rule3))] Dave is round.[(((triple5 triple7 triple8) -> rule2))] @2: Dave is big.[(((triple6 triple8 ((triple5 triple7 triple8) -> rule2)) -> rule1))] @3: Dave is cold.[(((triple6 triple5 ((triple6 triple8 ((triple5 triple7 triple8) -> rule2)) -> rule1)) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2 triple4 triple3) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple5 triple7 triple8) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple6 triple8 ((triple5 triple7 triple8) -> (rule2 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple6 triple5 ((triple6 triple8 ((triple5 triple7 triple8) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Charlie is somewhat red,he is also very nice and kind, he is very big though.
Dave is rough but very kind, he is also red in color and young in age.
They always call him rough Harry.
Kind people that are rough and round are also considered big.
Incredible as it may seem, young people who are red and have kind attitudes are always round.
A nice and kind natured person that is big in shape will be rough.
Those who are round and cold are young.
When someone is big, young and rough, they can be cold.