Bob is blue. Bob is not young. Fiona is rough. Fiona is not round. Fiona is not white. Gary is not white. Gary is young. Harry is blue. Harry is nice. Harry is quiet. Harry is not rough. Harry is not white. All young, quiet things are white. Round things are white. If something is rough then it is nice.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not young.
("Bob" "is" "young" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is not white.
("Fiona" "is" "white" "-")
Gary is not white.
("Gary" "is" "white" "-")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is not white.
("Harry" "is" "white" "-")
All young, quiet things are white.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
Round things are white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
If something is rough then it is nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
Harry is not white.
True
1
proof
[(triple12)]
("Harry" "is" "white" "-")
triple12
Harry is white.
False
1
inv-proof
[(triple12)]
("Harry" "is" "white" "+")
triple12
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "white" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Bob is blue.[(triple1)] Bob is not young.[(triple2)] Fiona is not round.[(triple4)] Fiona is not white.[(triple5)] Fiona is rough.[(triple3)] Gary is not white.[(triple6)] Gary is young.[(triple7)] Harry is blue.[(triple8)] Harry is nice.[(triple9)] Harry is not rough.[(triple11)] Harry is not white.[(triple12)] Harry is quiet.[(triple10)] @1: Fiona is nice.[(((triple3) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is not young.
("Bob" "is" "young" "-")
triple2
Fiona is not round.
("Fiona" "is" "round" "-")
triple4
Fiona is not white.
("Fiona" "is" "white" "-")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Gary is not white.
("Gary" "is" "white" "-")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is not rough.
("Harry" "is" "rough" "-")
triple11
Harry is not white.
("Harry" "is" "white" "-")
triple12
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1