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