Charlie is kind. Charlie is round. Dave is blue. Dave is kind. Dave is white. Erin is blue. Erin is white. Fiona is kind. Fiona is round. Fiona is young. If Dave is round and Dave is smart then Dave is kind. If something is nice then it is blue. White, nice things are smart. If something is blue then it is smart. If Dave is round then Dave is kind. Kind, round things are young. Kind things are young. If Charlie is white and Charlie is nice then Charlie is blue.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Dave is round and Dave is smart then Dave is kind.
((("Dave" "is" "round" "+") ("Dave" "is" "smart" "+")) -> ("Dave" "is" "kind" "+"))
If something is nice then it is blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
White, nice things are smart.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
If something is blue then it is smart.
((("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
If Dave is round then Dave is kind.
((("Dave" "is" "round" "+")) -> ("Dave" "is" "kind" "+"))
Kind, round things are young.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If Charlie is white and Charlie is nice then Charlie is blue.
((("Charlie" "is" "white" "+") ("Charlie" "is" "nice" "+")) -> ("Charlie" "is" "blue" "+"))
Fiona is kind.
True
1
proof
[(triple8)]
("Fiona" "is" "kind" "+")
triple8
Dave is not blue.
False
1
inv-proof
[(triple3)]
("Dave" "is" "blue" "-")
triple3
Dave is young.
True
2
proof
[(((triple4) -> rule7))]
("Dave" "is" "young" "+")
((triple4) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not smart.
False
2
inv-proof
[(((triple3) -> rule4))]
("Dave" "is" "smart" "-")
((triple3) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is smart.
Unknown
rconc
[@2: Fiona is smart.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Fiona" "is" "smart" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Charlie is kind.[(triple1)] Charlie is round.[(triple2)] Dave is blue.[(triple3)] Dave is kind.[(triple4)] Dave is white.[(triple5)] Erin is blue.[(triple6)] Erin is white.[(triple7)] Fiona is kind.[(triple8)] Fiona is round.[(triple9)] Fiona is young.[(triple10 OR ((triple8) -> rule7) OR ((triple8 triple9) -> rule6))] @1: Charlie is young.[(((triple1) -> rule7) OR ((triple1 triple2) -> rule6))] Dave is smart.[(((triple3) -> rule4))] Dave is young.[(((triple4) -> rule7))] Erin is smart.[(((triple6) -> rule4))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
((triple8) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple8 triple9) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple1) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple1 triple2) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
((triple3) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple4) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple6) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1