Fiona is big. Fiona is nice. Fiona is smart. Blue people are nice. If someone is smart then they are round. Big people are blue.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is smart then they are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Fiona is big.
True
1
proof
[(triple1)]
("Fiona" "is" "big" "+")
triple1
Fiona is not smart.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "smart" "-")
triple3
Fiona is round.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "round" "+")
((triple3) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "blue" "-")
((triple1) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Fiona is big.[(triple1)] Fiona is nice.[(triple2 OR ((((triple1) -> rule3)) -> rule1))] Fiona is smart.[(triple3)] @1: Fiona is blue.[(((triple1) -> rule3))] Fiona is round.[(((triple3) -> rule2))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple3) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1