People think that Charlie is round. This might be because he is young and blue. Dave is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue. Harry is both young and fairly round in size. A round person who is nice is young. Young, green round people are big. A nice young person who is red is cold. Young, round, and cold people have a habit of looking pretty red. A nice person who is always seen to be wearing green clothes will be rather big in size. It is true that anyone who is cold while being young and nice is secretly a kind person. Blue people who are big tend to be rough.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is green and young and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and red and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and young and round then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and cold and young then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Charlie is blue.
True
1
proof
[(triple3)]
("Charlie" "is" "blue" "+")
triple3
Charlie is not young.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "young" "-")
triple1
Dave is young.
True
3
proof
[(((triple6 triple4) -> rule1))]
("Dave" "is" "young" "+")
((triple6 triple4) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not rough.
False
3
inv-proof
[(((triple7 triple8) -> rule7))]
("Dave" "is" "rough" "-")
((triple7 triple8) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
True
6
proof
[(((triple6 triple5 ((triple6 triple4) -> rule1)) -> rule3))]
("Dave" "is" "cold" "+")
((triple6 triple5 ((triple6 triple4) -> (rule1 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not cold.
False
6
inv-proof
[(((triple6 triple5 ((triple6 triple4) -> rule1)) -> rule3))]
("Dave" "is" "cold" "-")
((triple6 triple5 ((triple6 triple4) -> (rule1 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
True
11
proof
[(((triple6 ((triple6 triple5 ((triple6 triple4) -> rule1)) -> rule3) ((triple6 triple4) -> rule1)) -> rule6))]
("Dave" "is" "kind" "+")
((triple6 ((triple6 triple5 ((triple6 triple4) -> (rule1 % int3))) -> (rule3 % int2)) ((triple6 triple4) -> (rule1 % int3))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is not kind.
False
11
inv-proof
[(((triple6 ((triple6 triple5 ((triple6 triple4) -> rule1)) -> rule3) ((triple6 triple4) -> rule1)) -> rule6))]
("Dave" "is" "kind" "-")
((triple6 ((triple6 triple5 ((triple6 triple4) -> (rule1 % int3))) -> (rule3 % int2)) ((triple6 triple4) -> (rule1 % int3))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Charlie" "is" "red" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "red" "+")
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "big" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "kind" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
@0: Charlie is blue.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is big.[(triple8)] Dave is blue.[(triple7)] Dave is nice.[(triple6)] Dave is red.[(triple5)] Dave is round.[(triple4)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Dave is rough.[(((triple7 triple8) -> rule7))] Dave is young.[(((triple6 triple4) -> rule1))] @2: Dave is cold.[(((triple6 triple5 ((triple6 triple4) -> rule1)) -> rule3))] @3: Dave is kind.[(((triple6 ((triple6 triple5 ((triple6 triple4) -> rule1)) -> rule3) ((triple6 triple4) -> rule1)) -> rule6))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Dave is rough.
("Dave" "is" "rough" "+")
((triple7 triple8) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple6 triple4) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple6 triple5 ((triple6 triple4) -> (rule1 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((triple6 ((triple6 triple5 ((triple6 triple4) -> (rule1 % int3))) -> (rule3 % int2)) ((triple6 triple4) -> (rule1 % int3))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
People think that Charlie is round; This might be because he is young and blue.
Dave is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue.
Harry is both young and fairly round in size.
A round person who is nice is young.
Young, green round people are big.
A nice young person who is red is cold.
Young, round, and cold people have a habit of looking pretty red.
A nice person who is always seen to be wearing green clothes will be rather big in size.
It is true that anyone who is cold while being young and nice is secretly a kind person.
Blue people who are big tend to be rough.