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