Charlie is not blue. Charlie is cold. Charlie is green. Charlie is not quiet. Dave is green. Dave is kind. Dave is quiet. Dave is young. Fiona is blue. Fiona is green. Fiona is quiet. Harry is blue. Harry is not cold. Harry is green. Harry is round. Harry is young. If Charlie is quiet then Charlie is round. If Dave is young and Dave is not cold then Dave is round. All quiet people are blue. Green, quiet people are blue. All blue, cold people are young. All round, blue people are kind. If someone is blue and not young then they are kind. If someone is young and not green then they are kind.
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If Charlie is quiet then Charlie is round.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "round" "+"))
If Dave is young and Dave is not cold then Dave is round.
((("Dave" "is" "young" "+") ("Dave" "is" "cold" "~")) -> ("Dave" "is" "round" "+"))
All quiet people are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
Green, quiet people are blue.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
All blue, cold people are young.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
All round, blue people are kind.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and not young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "kind" "+"))
If someone is young and not green then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "kind" "+"))
Dave is quiet.
True
1
proof
[(triple7)]
("Dave" "is" "quiet" "+")
triple7
Charlie is blue.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "blue" "+")
triple1
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is not blue.[(triple1)] Charlie is not quiet.[(triple4)] Dave is green.[(triple5)] Dave is kind.[(triple6)] Dave is quiet.[(triple7)] Dave is young.[(triple8)] Fiona is blue.[(triple9 OR ((triple11) -> rule3) OR ((triple10 triple11) -> rule4))] Fiona is green.[(triple10)] Fiona is quiet.[(triple11)] Harry is blue.[(triple12)] Harry is green.[(triple14)] Harry is not cold.[(triple13)] Harry is round.[(triple15)] Harry is young.[(triple16)] @1: Dave is blue.[(((triple7) -> rule3) OR ((triple5 triple7) -> rule4))] Harry is kind.[(((triple15 triple12) -> rule6))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple1
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
((triple11) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple10 triple11) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is not cold.
("Harry" "is" "cold" "-")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Dave is blue.
("Dave" "is" "blue" "+")
((triple7) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple5 triple7) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple15 triple12) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1