Fiona is nice. Fiona is red. Fiona is rough. All big people are white. White people are rough. All rough people are nice. If Fiona is blue and Fiona is big then Fiona is nice. If someone is red then they are blue. If someone is smart then they are nice. Big, smart people are white. All blue people are rough.
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All big people are white.
((("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
White people are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
All rough people are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If Fiona is blue and Fiona is big then Fiona is nice.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "nice" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is smart then they are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
Big, smart people are white.
((("someone" "is" "big" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
All blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Fiona is rough.
True
1
proof
[(triple3 OR ((((triple2) -> rule5)) -> rule8))]
("Fiona" "is" "rough" "+")
triple3
((((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not nice.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule3) OR ((((((triple2) -> rule5)) -> rule8)) -> rule3))]
("Fiona" "is" "nice" "-")
triple1
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is blue.
True
2
proof
[(((triple2) -> rule5))]
("Fiona" "is" "blue" "+")
((triple2) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple2) -> rule5))]
("Fiona" "is" "blue" "-")
((triple2) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Fiona is nice.[(triple1 OR ((triple3) -> rule3) OR ((((((triple2) -> rule5)) -> rule8)) -> rule3))] Fiona is red.[(triple2)] Fiona is rough.[(triple3 OR ((((triple2) -> rule5)) -> rule8))] @1: Fiona is blue.[(((triple2) -> rule5))]
Fiona is nice.
("Fiona" "is" "nice" "+")
triple1
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((((triple2) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
((((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple2) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1