Dave is cold. Dave is quiet. Dave is round. Dave is not smart. Fiona is not red. Fiona is round. Fiona is smart. Fiona is white. Harry is cold. Harry is not round. All quiet, round things are cold. If something is white and not round then it is cold. If Dave is not quiet then Dave is not smart. All cold, white things are not young. Quiet, smart things are red. All cold things are red. If Fiona is young and Fiona is not cold then Fiona is red. If Dave is smart and Dave is not cold then Dave is not young.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not round.
("Harry" "is" "round" "-")
All quiet, round things are cold.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If something is white and not round then it is cold.
((("something" "is" "white" "+") ("something" "is" "round" "~")) -> ("something" "is" "cold" "+"))
If Dave is not quiet then Dave is not smart.
((("Dave" "is" "quiet" "~")) -> ("Dave" "is" "smart" "-"))
All cold, white things are not young.
((("something" "is" "cold" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "-"))
Quiet, smart things are red.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
All cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If Fiona is young and Fiona is not cold then Fiona is red.
((("Fiona" "is" "young" "+") ("Fiona" "is" "cold" "~")) -> ("Fiona" "is" "red" "+"))
If Dave is smart and Dave is not cold then Dave is not young.
((("Dave" "is" "smart" "+") ("Dave" "is" "cold" "~")) -> ("Dave" "is" "young" "-"))
Dave is not smart.
True
1
proof
[(triple4)]
("Dave" "is" "smart" "-")
triple4
Fiona is not smart.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "smart" "-")
triple7
Dave is red.
True
2
proof
[(((triple1) -> rule6) OR ((((triple2 triple3) -> rule1)) -> rule6))]
("Dave" "is" "red" "+")
((triple1) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple2 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not red.
False
2
inv-proof
[(((triple1) -> rule6) OR ((((triple2 triple3) -> rule1)) -> rule6))]
("Dave" "is" "red" "-")
((triple1) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple2 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Dave is cold.[(triple1 OR ((triple2 triple3) -> rule1))] Dave is not smart.[(triple4)] Dave is quiet.[(triple2)] Dave is round.[(triple3)] Fiona is not red.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] Fiona is white.[(triple8)] Harry is cold.[(triple9)] Harry is not round.[(triple10)] @1: Dave is red.[(((triple1) -> rule6) OR ((((triple2 triple3) -> rule1)) -> rule6))] Harry is red.[(((triple9) -> rule6))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
((triple2 triple3) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not smart.
("Dave" "is" "smart" "-")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple3
Fiona is not red.
("Fiona" "is" "red" "-")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is not round.
("Harry" "is" "round" "-")
triple10
Dave is red.
("Dave" "is" "red" "+")
((triple1) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple2 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple9) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1