Fiona is blue. Fiona is nice. Fiona is smart. All blue things are round. Rough things are round. All green, rough things are smart. Blue things are smart. All nice things are blue. If Fiona is round then Fiona is green.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Rough things are round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
All green, rough things are smart.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Blue things are smart.
((("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
All nice things are blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If Fiona is round then Fiona is green.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "green" "+"))
Fiona is smart.
True
1
proof
[(triple3 OR ((triple1) -> rule4) OR ((((triple2) -> rule5)) -> rule4))]
("Fiona" "is" "smart" "+")
triple3
((triple1) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not smart.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule4) OR ((((triple2) -> rule5)) -> rule4))]
("Fiona" "is" "smart" "-")
triple3
((triple1) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
True
2
proof
[(((triple1) -> rule1) OR ((((triple2) -> rule5)) -> rule1))]
("Fiona" "is" "round" "+")
((triple1) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not round.
False
2
inv-proof
[(((triple1) -> rule1) OR ((((triple2) -> rule5)) -> rule1))]
("Fiona" "is" "round" "-")
((triple1) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
True
3
proof
[(((((triple1) -> rule1)) -> rule6) OR ((((((triple2) -> rule5)) -> rule1)) -> rule6))]
("Fiona" "is" "green" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is not green.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule6) OR ((((((triple2) -> rule5)) -> rule1)) -> rule6))]
("Fiona" "is" "green" "-")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Fiona is blue.[(triple1 OR ((triple2) -> rule5))] Fiona is nice.[(triple2)] Fiona is smart.[(triple3 OR ((triple1) -> rule4) OR ((((triple2) -> rule5)) -> rule4))] @1: Fiona is round.[(((triple1) -> rule1) OR ((((triple2) -> rule5)) -> rule1))] @2: Fiona is green.[(((((triple1) -> rule1)) -> rule6) OR ((((((triple2) -> rule5)) -> rule1)) -> rule6))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
((triple2) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
((triple1) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((triple1) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3