Fiona is big. All big things are young. Big things are young. All young things are big. If something is red and furry then it is young. If something is rough and red then it is young. All big things are young.
Fiona is big.
("Fiona" "is" "big" "+")
All big things are young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
Big things are young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
All young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If something is red and furry then it is young.
((("something" "is" "red" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If something is rough and red then it is young.
((("something" "is" "rough" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
All big things are young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
Fiona is big.
True
1
proof
[(triple1)]
("Fiona" "is" "big" "+")
triple1
Fiona is not big.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "big" "-")
triple1
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Fiona is big.[(triple1)] @1: Fiona is young.[(((triple1) -> rule1) OR ((triple1) -> rule2) OR ((triple1) -> rule6))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
((triple1) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple1) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple1) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1