Charlie is someone you could describe as young, round, cold, and blue. Young Dave is red, green and cold. Gary is very nice to people, but he's also rather big. Harry is a man who is both round and rough. Young, green round people are big. A person with a rough quality is also a person with a blue quality. Rough young folks are surprisingly kind. A big and blue colored person is also certainly very kind. A person who is round shaped while also being quite cold tends to be nice. Green people who are kind with rosy red skin are round. Young people that are also red and green, may be fairly rough, also.
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 rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and kind and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is red and green and young then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Charlie is young.
True
1
proof
[(triple1)]
("Charlie" "is" "young" "+")
triple1
Charlie is not round.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "round" "-")
triple2
Harry is blue.
True
2
proof
[(((triple12) -> rule2))]
("Harry" "is" "blue" "+")
((triple12) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Dave is not rough.
False
4
inv-proof
[(((triple6 triple7 triple5) -> rule7))]
("Dave" "is" "rough" "-")
((triple6 triple7 triple5) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
True
6
proof
[(((triple5 ((triple6 triple7 triple5) -> rule7)) -> rule3))]
("Dave" "is" "kind" "+")
((triple5 ((triple6 triple7 triple5) -> (rule7 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not kind.
False
6
inv-proof
[(((triple5 ((triple6 triple7 triple5) -> rule7)) -> rule3))]
("Dave" "is" "kind" "-")
((triple5 ((triple6 triple7 triple5) -> (rule7 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
True
9
proof
[(((triple6 ((triple5 ((triple6 triple7 triple5) -> rule7)) -> rule3) triple7) -> rule6))]
("Dave" "is" "round" "+")
((triple6 ((triple5 ((triple6 triple7 triple5) -> (rule7 % int3))) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not round.
False
9
inv-proof
[(((triple6 ((triple5 ((triple6 triple7 triple5) -> rule7)) -> rule3) triple7) -> rule6))]
("Dave" "is" "round" "-")
((triple6 ((triple5 ((triple6 triple7 triple5) -> (rule7 % int3))) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
True
12
proof
[(((triple7 triple5 ((triple6 ((triple5 ((triple6 triple7 triple5) -> rule7)) -> rule3) triple7) -> rule6)) -> rule1))]
("Dave" "is" "big" "+")
((triple7 triple5 ((triple6 ((triple5 ((triple6 triple7 triple5) -> (rule7 % int4))) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is not big.
False
12
inv-proof
[(((triple7 triple5 ((triple6 ((triple5 ((triple6 triple7 triple5) -> rule7)) -> rule3) triple7) -> rule6)) -> rule1))]
("Dave" "is" "big" "-")
((triple7 triple5 ((triple6 ((triple5 ((triple6 triple7 triple5) -> (rule7 % int4))) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Gary is not kind.
Unknown
inv-rconc
[@3: Gary is kind.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule7 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "rough" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "-")
Gary is blue.
Unknown
rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Gary" "is" "blue" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Charlie is blue.[(triple4)] Charlie is cold.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is cold.[(triple8)] Dave is green.[(triple7)] Dave is red.[(triple6)] Dave is young.[(triple5)] Gary is big.[(triple10)] Gary is nice.[(triple9)] Harry is rough.[(triple12)] Harry is round.[(triple11)] @1: Charlie is nice.[(((triple2 triple3) -> rule5))] Dave is rough.[(((triple6 triple7 triple5) -> rule7))] Harry is blue.[(((triple12) -> rule2))] @2: Dave is blue.[(((((triple6 triple7 triple5) -> rule7)) -> rule2))] Dave is kind.[(((triple5 ((triple6 triple7 triple5) -> rule7)) -> rule3))] @3: Dave is round.[(((triple6 ((triple5 ((triple6 triple7 triple5) -> rule7)) -> rule3) triple7) -> rule6))] @4: Dave is big.[(((triple7 triple5 ((triple6 ((triple5 ((triple6 triple7 triple5) -> rule7)) -> rule3) triple7) -> rule6)) -> rule1))] Dave is nice.[(((((triple6 ((triple5 ((triple6 triple7 triple5) -> rule7)) -> rule3) triple7) -> rule6) triple8) -> rule5))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple11
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple2 triple3) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple6 triple7 triple5) -> (rule7 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple12) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((((triple6 triple7 triple5) -> (rule7 % int2))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((triple5 ((triple6 triple7 triple5) -> (rule7 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple6 ((triple5 ((triple6 triple7 triple5) -> (rule7 % int3))) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
((triple7 triple5 ((triple6 ((triple5 ((triple6 triple7 triple5) -> (rule7 % int4))) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
((((triple6 ((triple5 ((triple6 triple7 triple5) -> (rule7 % int4))) -> (rule3 % int3)) triple7) -> (rule6 % int2)) triple8) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Charlie is someone you could describe as young, round, cold, and blue.
Young Dave is red, green and cold.
Gary is very nice to people, but he's also rather big.
Harry is a man who is both round and rough.
Young, green round people are big.
A person with a rough quality is also a person with a blue quality.
Rough young folks are surprisingly kind.
A big and blue colored person is also certainly very kind.
A person who is round shaped while also being quite cold tends to be nice.
Green people who are kind with rosy red skin are round.
Young people that are also red and green, may be fairly rough, also.