Anne is big. Fiona is green. Fiona is quiet. Fiona is smart. Gary is green. Gary is rough. Harry is blue. If someone is quiet and smart then they are round.
Anne is big.
("Anne" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is quiet and smart then they are round.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Harry is blue.
True
1
proof
[(triple7)]
("Harry" "is" "blue" "+")
triple7
Gary is not rough.
False
1
inv-proof
[(triple6)]
("Gary" "is" "rough" "-")
triple6
Fiona is round.
True
3
proof
[(((triple3 triple4) -> rule1))]
("Fiona" "is" "round" "+")
((triple3 triple4) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
3
inv-proof
[(((triple3 triple4) -> rule1))]
("Fiona" "is" "round" "-")
((triple3 triple4) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Anne is round.
Unknown
rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "round" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is big.[(triple1)] Fiona is green.[(triple2)] Fiona is quiet.[(triple3)] Fiona is smart.[(triple4)] Gary is green.[(triple5)] Gary is rough.[(triple6)] Harry is blue.[(triple7)] @1: Fiona is round.[(((triple3 triple4) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
((triple3 triple4) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1