Fiona is blue. Fiona is not cold. Fiona is nice. If Fiona is rough then Fiona is cold. If Fiona is rough then Fiona is cold. Green things are rough. If something is nice and not cold then it is blue. Nice, big things are smart. Nice things are smart. If something is rough and not cold then it is nice. Green things are nice.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
If Fiona is rough then Fiona is cold.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "cold" "+"))
If Fiona is rough then Fiona is cold.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "cold" "+"))
Green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
If something is nice and not cold then it is blue.
((("something" "is" "nice" "+") ("something" "is" "cold" "~")) -> ("something" "is" "blue" "+"))
Nice, big things are smart.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
Nice things are smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
If something is rough and not cold then it is nice.
((("something" "is" "rough" "+") ("something" "is" "cold" "~")) -> ("something" "is" "nice" "+"))
Green things are nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
Fiona is blue.
True
1
proof
[(triple1 OR ((triple3 triple2) -> rule4))]
("Fiona" "is" "blue" "+")
triple1
((triple3 triple2) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Fiona is smart.
True
2
proof
[(((triple3) -> rule6))]
("Fiona" "is" "smart" "+")
((triple3) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple3) -> rule6))]
("Fiona" "is" "smart" "-")
((triple3) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Fiona is blue.[(triple1 OR ((triple3 triple2) -> rule4))] Fiona is nice.[(triple3)] Fiona is not cold.[(triple2)] @1: Fiona is smart.[(((triple3) -> rule6))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
((triple3 triple2) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple3) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1