Dave is nice. Dave is quiet. Dave is young. Fiona is green. Fiona is smart. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Gary is round. If someone is smart then they are quiet. All smart, round people are nice.
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is smart then they are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
All smart, round people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Dave is young.
True
1
proof
[(triple3)]
("Dave" "is" "young" "+")
triple3
Fiona is not green.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "green" "-")
triple4
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "nice" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Dave is nice.[(triple1)] Dave is quiet.[(triple2)] Dave is young.[(triple3)] Fiona is green.[(triple4)] Fiona is smart.[(triple5)] Gary is green.[(triple6)] Gary is nice.[(triple7)] Gary is quiet.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] @1: Fiona is quiet.[(((triple5) -> rule1))]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple5) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1