Fiona is not big. Fiona is green. Fiona is white. All green things are rough. All white things are rough. All rough things are smart. If something is white and big then it is not smart. If something is round and white then it is smart. All nice things are big. All round things are white. If Fiona is round then Fiona is big.
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
All white things are rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
All rough things are smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
If something is white and big then it is not smart.
((("something" "is" "white" "+") ("something" "is" "big" "+")) -> ("something" "is" "smart" "-"))
If something is round and white then it is smart.
((("something" "is" "round" "+") ("something" "is" "white" "+")) -> ("something" "is" "smart" "+"))
All nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
All round things are white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
If Fiona is round then Fiona is big.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "big" "+"))
Fiona is green.
True
1
proof
[(triple2)]
("Fiona" "is" "green" "+")
triple2
Fiona is big.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "big" "+")
triple1
Fiona is rough.
True
2
proof
[(((triple2) -> rule1) OR ((triple3) -> rule2))]
("Fiona" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple3) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple2) -> rule1) OR ((triple3) -> rule2))]
("Fiona" "is" "rough" "-")
((triple2) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple3) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
True
3
proof
[(((((triple2) -> rule1)) -> rule3) OR ((((triple3) -> rule2)) -> rule3))]
("Fiona" "is" "smart" "+")
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not smart.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule3) OR ((((triple3) -> rule2)) -> rule3))]
("Fiona" "is" "smart" "-")
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Fiona is green.[(triple2)] Fiona is not big.[(triple1)] Fiona is white.[(triple3)] @1: Fiona is rough.[(((triple2) -> rule1) OR ((triple3) -> rule2))] @2: Fiona is smart.[(((((triple2) -> rule1)) -> rule3) OR ((((triple3) -> rule2)) -> rule3))]
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is not big.
("Fiona" "is" "big" "-")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple3) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2