Anne is red. Dave is red. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is young. Gary is smart. Young, quiet things are red. All smart, red things are green.
Anne is red.
("Anne" "is" "red" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Young, quiet things are red.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
All smart, red things are green.
((("something" "is" "smart" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Fiona is quiet.
True
1
proof
[(triple3)]
("Fiona" "is" "quiet" "+")
triple3
Fiona is not round.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "round" "-")
triple5
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "green" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is red.[(triple1)] Dave is red.[(triple2)] Fiona is quiet.[(triple3)] Fiona is rough.[(triple4)] Fiona is round.[(triple5)] Fiona is young.[(triple6)] Gary is smart.[(triple7)] @1: Fiona is red.[(((triple6 triple3) -> rule1))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
((triple6 triple3) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1