Dave is white. Fiona is cold. Harry is quiet. All cold people are round. If someone is rough and white then they are kind. Cold people are quiet. Rough people are round. If someone is cold then they are quiet. All rough, cold people are young.
Dave is white.
("Dave" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and white then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Cold people are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
Rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is cold then they are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
All rough, cold people are young.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Fiona is cold.
True
1
proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Fiona is not cold.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "cold" "-")
triple2
Fiona is quiet.
True
2
proof
[(((triple2) -> rule3) OR ((triple2) -> rule5))]
("Fiona" "is" "quiet" "+")
((triple2) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple2) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple2) -> rule1))]
("Fiona" "is" "round" "-")
((triple2) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "young" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Dave is white.[(triple1)] Fiona is cold.[(triple2)] Harry is quiet.[(triple3)] @1: Fiona is quiet.[(((triple2) -> rule3) OR ((triple2) -> rule5))] Fiona is round.[(((triple2) -> rule1))]
Dave is white.
("Dave" "is" "white" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple2) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple2) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple2) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1