Charlie is cold. Charlie is round. Charlie is young. Fiona is big. Fiona is rough. Fiona is round. Fiona is young. If Charlie is cold then Charlie is rough. All cold, nice things are smart. All young, nice things are cold. All big things are smart. All big things are rough. If something is nice then it is cold.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Charlie is cold then Charlie is rough.
((("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "rough" "+"))
All cold, nice things are smart.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
All young, nice things are cold.
((("something" "is" "young" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
All big things are smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
All big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
If something is nice then it is cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
Fiona is rough.
True
1
proof
[(triple5 OR ((triple4) -> rule5))]
("Fiona" "is" "rough" "+")
triple5
((triple4) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
1
inv-proof
[(triple5 OR ((triple4) -> rule5))]
("Fiona" "is" "rough" "-")
triple5
((triple4) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Charlie is not smart.
Unknown
inv-rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "smart" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Charlie is cold.[(triple1)] Charlie is round.[(triple2)] Charlie is young.[(triple3)] Fiona is big.[(triple4)] Fiona is rough.[(triple5 OR ((triple4) -> rule5))] Fiona is round.[(triple6)] Fiona is young.[(triple7)] @1: Charlie is rough.[(((triple1) -> rule1))] Fiona is smart.[(((triple4) -> rule4))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
((triple4) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple4) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1