Fiona is blue. Fiona is rough. Fiona is young. Young people are big. If someone is young then they are rough. All nice people are big. Nice people are big. Nice people are big. If Fiona is furry and Fiona is big then Fiona is young. Nice people are furry. Young people are blue.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
All nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If Fiona is furry and Fiona is big then Fiona is young.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "young" "+"))
Nice people are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
Young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Fiona is rough.
True
1
proof
[(triple2 OR ((triple3) -> rule2))]
("Fiona" "is" "rough" "+")
triple2
((triple3) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not blue.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule8))]
("Fiona" "is" "blue" "-")
triple1
((triple3) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Fiona is blue.[(triple1 OR ((triple3) -> rule8))] Fiona is rough.[(triple2 OR ((triple3) -> rule2))] Fiona is young.[(triple3)] @1: Fiona is big.[(((triple3) -> rule1))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
((triple3) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple2
((triple3) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
((triple3) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1