Fiona is blue. Fiona is nice. Fiona is white. All furry, kind things are blue. If Fiona is white and Fiona is kind then Fiona is nice. Round things are kind. If something is kind and nice then it is blue. If Fiona is nice then Fiona is round. Furry things are nice. All nice things are kind. If Fiona is blue and Fiona is furry then Fiona is nice.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All furry, kind things are blue.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
If Fiona is white and Fiona is kind then Fiona is nice.
((("Fiona" "is" "white" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "nice" "+"))
Round things are kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If something is kind and nice then it is blue.
((("something" "is" "kind" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If Fiona is nice then Fiona is round.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "round" "+"))
Furry things are nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
All nice things are kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If Fiona is blue and Fiona is furry then Fiona is nice.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "nice" "+"))
Fiona is blue.
True
1
proof
[(triple1 OR ((((triple2) -> rule7) triple2) -> rule4) OR ((((((triple2) -> rule5)) -> rule3) triple2) -> rule4))]
("Fiona" "is" "blue" "+")
triple1
((((triple2) -> (rule7 % int2)) triple2) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is not nice.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "nice" "-")
triple2
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
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) -> rule7) triple2) -> rule4) OR ((((((triple2) -> rule5)) -> rule3) triple2) -> rule4))] Fiona is nice.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is kind.[(((triple2) -> rule7) OR ((((triple2) -> rule5)) -> rule3))] Fiona is round.[(((triple2) -> rule5))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
((((triple2) -> (rule7 % int2)) triple2) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((((triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple2) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((triple2) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1