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