Charlie is green. Charlie is not red. Charlie is young. Fiona is red. Fiona is rough. Fiona is not round. Fiona is smart. Gary is red. Gary is round. Harry is not rough. Green, blue things are not rough. Round things are blue. If Harry is not smart then Harry is round.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Green, blue things are not rough.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "-"))
Round things are blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If Harry is not smart then Harry is round.
((("Harry" "is" "smart" "~")) -> ("Harry" "is" "round" "+"))
Charlie is young.
True
1
proof
[(triple3)]
("Charlie" "is" "young" "+")
triple3
Gary is not round.
False
1
inv-proof
[(triple9)]
("Gary" "is" "round" "-")
triple9
Gary is blue.
True
2
proof
[(((triple9) -> rule2))]
("Gary" "is" "blue" "+")
((triple9) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple9) -> rule2))]
("Gary" "is" "blue" "-")
((triple9) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "round" "-")
Fiona is blue.
Unknown
rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "blue" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Charlie is green.[(triple1)] Charlie is not red.[(triple2)] Charlie is young.[(triple3)] Fiona is not round.[(triple6)] Fiona is red.[(triple4)] Fiona is rough.[(triple5)] Fiona is smart.[(triple7)] Gary is red.[(triple8)] Gary is round.[(triple9)] Harry is not rough.[(triple10)] @1: Gary is blue.[(((triple9) -> rule2))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is not red.
("Charlie" "is" "red" "-")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Fiona is not round.
("Fiona" "is" "round" "-")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
Harry is not rough.
("Harry" "is" "rough" "-")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
((triple9) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1