Charlie is not blue. Charlie is green. Charlie is round. Charlie is young. Erin is not blue. Erin is green. Erin is white. Erin is young. Harry is green. Harry is rough. Harry is not round. Harry is white. If something is young and cold then it is white. If Charlie is rough then Charlie is cold. If Charlie is rough then Charlie is white. If Charlie is cold then Charlie is white. If something is blue then it is cold. White things are not blue. Blue, green things are rough. Blue, young things are rough.
Charlie is not blue.
("Charlie" "is" "blue" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not round.
("Harry" "is" "round" "-")
Harry is white.
("Harry" "is" "white" "+")
If something is young and cold then it is white.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
If Charlie is rough then Charlie is cold.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "cold" "+"))
If Charlie is rough then Charlie is white.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "white" "+"))
If Charlie is cold then Charlie is white.
((("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "white" "+"))
If something is blue then it is cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
White things are not blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "-"))
Blue, green things are rough.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Blue, young things are rough.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
Erin is not blue.
True
1
proof
[(triple5 OR ((triple7) -> rule6))]
("Erin" "is" "blue" "-")
triple5
((triple7) -> (rule6 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Charlie is not green.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "green" "-")
triple2
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "rough" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Charlie is green.[(triple2)] Charlie is not blue.[(triple1)] Charlie is round.[(triple3)] Charlie is young.[(triple4)] Erin is green.[(triple6)] Erin is not blue.[(triple5 OR ((triple7) -> rule6))] Erin is white.[(triple7)] Erin is young.[(triple8)] Harry is green.[(triple9)] Harry is not round.[(triple11)] Harry is rough.[(triple10)] Harry is white.[(triple12)] @1: Harry is not blue.[(((triple12) -> rule6))]
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is not blue.
("Erin" "is" "blue" "-")
triple5
((triple7) -> (rule6 % int1))
Erin is not blue.
("Erin" "is" "blue" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is not round.
("Harry" "is" "round" "-")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is white.
("Harry" "is" "white" "+")
triple12
Harry is not blue.
("Harry" "is" "blue" "-")
((triple12) -> (rule6 % int1))
Harry is not blue.
("Harry" "is" "blue" "-")
int1