Charlie always goes out of his way to show that he is kind to people. Dave is cold with rough red skin. Dave is big but is also kind. Gary who is considered nice was feeling rather rough today. Because Harry gets cold easily he tends to appear round from bundling up. A nice person with rough skin is red. Big and cold people tend to see red and dont live green lifestyle. A person who is described as round and rough is usually kind. You can find someone that is young and rough but kind and nice. Kind people,though green,tend to be nice. A person with a round body will be feeling very cold and will be rough to handle. Most kind and cold people are also big.
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is rough and nice then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is red and big and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and kind and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and round then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Dave is big.
True
1
proof
[(triple6 OR ((triple4 triple5) -> rule7))]
("Dave" "is" "big" "+")
triple6
((triple4 triple5) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Gary is not nice.
False
1
inv-proof
[(triple8)]
("Gary" "is" "nice" "-")
triple8
Harry is rough.
True
3
proof
[(((triple10 triple9) -> rule6))]
("Harry" "is" "rough" "+")
((triple10 triple9) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Dave is not green.
False
4
inv-proof
[(((triple3 triple6 triple5) -> rule2) OR ((triple3 ((triple4 triple5) -> rule7) triple5) -> rule2))]
("Dave" "is" "green" "-")
((triple3 triple6 triple5) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple3 ((triple4 triple5) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is nice.
True
6
proof
[(((triple4 ((triple3 triple6 triple5) -> rule2)) -> rule5) OR ((triple4 ((triple3 ((triple4 triple5) -> rule7) triple5) -> rule2)) -> rule5))]
("Dave" "is" "nice" "+")
((triple4 ((triple3 triple6 triple5) -> (rule2 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple4 ((triple3 ((triple4 triple5) -> (rule7 % int3)) triple5) -> (rule2 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is not nice.
False
6
inv-proof
[(((triple4 ((triple3 triple6 triple5) -> rule2)) -> rule5) OR ((triple4 ((triple3 ((triple4 triple5) -> rule7) triple5) -> rule2)) -> rule5))]
("Dave" "is" "nice" "-")
((triple4 ((triple3 triple6 triple5) -> (rule2 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple4 ((triple3 ((triple4 triple5) -> (rule7 % int3)) triple5) -> (rule2 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Harry is big.
True
7
proof
[(((((triple9 ((triple10 triple9) -> rule6)) -> rule3) triple10) -> rule7))]
("Harry" "is" "big" "+")
((((triple9 ((triple10 triple9) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not big.
False
7
inv-proof
[(((((triple9 ((triple10 triple9) -> rule6)) -> rule3) triple10) -> rule7))]
("Harry" "is" "big" "-")
((((triple9 ((triple10 triple9) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "big" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "+")
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "rough" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Charlie is kind.[(triple1)] Dave is big.[(triple6 OR ((triple4 triple5) -> rule7))] Dave is cold.[(triple5)] Dave is kind.[(triple4)] Dave is red.[(triple3)] Dave is rough.[(triple2)] Gary is nice.[(triple8)] Gary is rough.[(triple7)] Harry is cold.[(triple10)] Harry is round.[(triple9)] @1: Dave is green.[(((triple3 triple6 triple5) -> rule2) OR ((triple3 ((triple4 triple5) -> rule7) triple5) -> rule2))] Gary is red.[(((triple7 triple8) -> rule1))] Harry is rough.[(((triple10 triple9) -> rule6))] @2: Dave is nice.[(((triple4 ((triple3 triple6 triple5) -> rule2)) -> rule5) OR ((triple4 ((triple3 ((triple4 triple5) -> rule7) triple5) -> rule2)) -> rule5))] Harry is kind.[(((triple9 ((triple10 triple9) -> rule6)) -> rule3))] @3: Harry is big.[(((((triple9 ((triple10 triple9) -> rule6)) -> rule3) triple10) -> rule7))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
((triple4 triple5) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
((triple3 triple6 triple5) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple3 ((triple4 triple5) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple7 triple8) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple10 triple9) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple4 ((triple3 triple6 triple5) -> (rule2 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple4 ((triple3 ((triple4 triple5) -> (rule7 % int3)) triple5) -> (rule2 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((triple9 ((triple10 triple9) -> (rule6 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple9 ((triple10 triple9) -> (rule6 % int3))) -> (rule3 % int2)) triple10) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Charlie always goes out of his way to show that he is kind to people.
Dave is cold with rough red skin; Dave is big but is also kind.
Gary who is considered nice was feeling rather rough today.
Because Harry gets cold easily he tends to appear round from bundling up.
A nice person with rough skin is red.
Big and cold people tend to see red and dont live green lifestyle.
A person who is described as round and rough is usually kind.
You can find someone that is young and rough but kind and nice.
Kind people,though green,tend to be nice.
A person with a round body will be feeling very cold and will be rough to handle.
Most kind and cold people are also big.