Fiona is rough. If someone is kind and not rough then they are not smart. If someone is cold and rough then they are not smart. If someone is round then they are smart. Young, smart people are nice. If someone is cold and not kind then they are nice. All rough people are round. If Fiona is cold and Fiona is rough then Fiona is not round. If someone is nice and not cold then they are young.
Fiona is rough.
("Fiona" "is" "rough" "+")
If someone is kind and not rough then they are not smart.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "smart" "-"))
If someone is cold and rough then they are not smart.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "-"))
If someone is round then they are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
Young, smart people are nice.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and not kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "nice" "+"))
All rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If Fiona is cold and Fiona is rough then Fiona is not round.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "round" "-"))
If someone is nice and not cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "young" "+"))
Fiona is rough.
True
1
proof
[(triple1)]
("Fiona" "is" "rough" "+")
triple1
Fiona is not rough.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "rough" "-")
triple1
Fiona is round.
True
2
proof
[(((triple1) -> rule6))]
("Fiona" "is" "round" "+")
((triple1) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple1) -> rule6))]
("Fiona" "is" "round" "-")
((triple1) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
True
3
proof
[(((((triple1) -> rule6)) -> rule3))]
("Fiona" "is" "smart" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not smart.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule3))]
("Fiona" "is" "smart" "-")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not nice.
Unknown
inv-rconc
[@2: Fiona is nice.[CWA. Example of deepest failure = (rule4 <- rule8 <- FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Fiona is rough.[(triple1)] @1: Fiona is round.[(((triple1) -> rule6))] @2: Fiona is smart.[(((((triple1) -> rule6)) -> rule3))]
Fiona is rough.
("Fiona" "is" "rough" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
((triple1) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2