Fiona is not big. Fiona is nice. Fiona is red. Fiona is round. Fiona is smart. Fiona is not white. Fiona is young. Gary is big. Gary is nice. Gary is red. Gary is smart. Gary is not young. If someone is round then they are smart. If Gary is young and Gary is big then Gary is round. If someone is red and round then they are nice.
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not young.
("Gary" "is" "young" "-")
If someone is round then they are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
If Gary is young and Gary is big then Gary is round.
((("Gary" "is" "young" "+") ("Gary" "is" "big" "+")) -> ("Gary" "is" "round" "+"))
If someone is red and round then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Fiona is smart.
True
1
proof
[(triple5 OR ((triple4) -> rule1))]
("Fiona" "is" "smart" "+")
triple5
((triple4) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not nice.
False
1
inv-proof
[(triple2 OR ((triple3 triple4) -> rule3))]
("Fiona" "is" "nice" "-")
triple2
((triple3 triple4) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Fiona is nice.[(triple2 OR ((triple3 triple4) -> rule3))] Fiona is not big.[(triple1)] Fiona is not white.[(triple6)] Fiona is red.[(triple3)] Fiona is round.[(triple4)] Fiona is smart.[(triple5 OR ((triple4) -> rule1))] Fiona is young.[(triple7)] Gary is big.[(triple8)] Gary is nice.[(triple9)] Gary is not young.[(triple12)] Gary is red.[(triple10)] Gary is smart.[(triple11)]
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
((triple3 triple4) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not big.
("Fiona" "is" "big" "-")
triple1
Fiona is not white.
("Fiona" "is" "white" "-")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
((triple4) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is not young.
("Gary" "is" "young" "-")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11