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