Dave is not green. Dave is quiet. Dave is smart. Dave is white. Fiona is green. Fiona is not kind. Fiona is quiet. Fiona is white. Harry is cold. Harry is not green. Harry is kind. Harry is quiet. Harry is not round. Harry is smart. Harry is white. Round people are smart. If Harry is green and Harry is not kind then Harry is quiet. All green, smart people are white. If someone is quiet and kind then they are white. All round people are cold. If someone is kind and not smart then they are cold.
Dave is not green.
("Dave" "is" "green" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not round.
("Harry" "is" "round" "-")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Round people are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
If Harry is green and Harry is not kind then Harry is quiet.
((("Harry" "is" "green" "+") ("Harry" "is" "kind" "~")) -> ("Harry" "is" "quiet" "+"))
All green, smart people are white.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If someone is quiet and kind then they are white.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
All round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and not smart then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "cold" "+"))
Harry is not round.
True
1
proof
[(triple13)]
("Harry" "is" "round" "-")
triple13
Fiona is not green.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "green" "-")
triple5
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "cold" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Dave is not green.[(triple1)] Dave is quiet.[(triple2)] Dave is smart.[(triple3)] Dave is white.[(triple4)] Fiona is green.[(triple5)] Fiona is not kind.[(triple6)] Fiona is quiet.[(triple7)] Fiona is white.[(triple8)] Harry is cold.[(triple9)] Harry is kind.[(triple11)] Harry is not green.[(triple10)] Harry is not round.[(triple13)] Harry is quiet.[(triple12)] Harry is smart.[(triple14)] Harry is white.[(triple15 OR ((triple12 triple11) -> rule4))]
Dave is not green.
("Dave" "is" "green" "-")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is not green.
("Harry" "is" "green" "-")
triple10
Harry is not round.
("Harry" "is" "round" "-")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
((triple12 triple11) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1