Dave is cold. Fiona is kind. Harry is not young. All kind people are not young. If Harry is kind then Harry is cold. All round, red people are smart. If Dave is big then Dave is cold. Smart people are big. Cold people are not big. Red people are cold. If Dave is young then Dave is smart.
Dave is cold.
("Dave" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Harry is not young.
("Harry" "is" "young" "-")
All kind people are not young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "-"))
If Harry is kind then Harry is cold.
((("Harry" "is" "kind" "+")) -> ("Harry" "is" "cold" "+"))
All round, red people are smart.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
If Dave is big then Dave is cold.
((("Dave" "is" "big" "+")) -> ("Dave" "is" "cold" "+"))
Smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
Cold people are not big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "-"))
Red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If Dave is young then Dave is smart.
((("Dave" "is" "young" "+")) -> ("Dave" "is" "smart" "+"))
Fiona is kind.
True
1
proof
[(triple2)]
("Fiona" "is" "kind" "+")
triple2
Harry is young.
False
1
inv-proof
[(triple3)]
("Harry" "is" "young" "+")
triple3
Fiona is not young.
True
2
proof
[(((triple2) -> rule1))]
("Fiona" "is" "young" "-")
((triple2) -> (rule1 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Dave is big.
False
2
inv-proof
[(((triple1) -> rule6))]
("Dave" "is" "big" "+")
((triple1) -> (rule6 % int1))
Dave is not big.
("Dave" "is" "big" "-")
int1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is big.
Unknown
rconc
[@2: Fiona is big.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Fiona" "is" "big" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Dave is cold.[(triple1)] Fiona is kind.[(triple2)] Harry is not young.[(triple3)] @1: Dave is not big.[(((triple1) -> rule6))] Fiona is not young.[(((triple2) -> rule1))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Harry is not young.
("Harry" "is" "young" "-")
triple3
Dave is not big.
("Dave" "is" "big" "-")
((triple1) -> (rule6 % int1))
Dave is not big.
("Dave" "is" "big" "-")
int1
Fiona is not young.
("Fiona" "is" "young" "-")
((triple2) -> (rule1 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1