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