Bob is nice. Bob is rough. Bob is round. Bob is smart. Bob is not young. Dave is cold. Dave is green. Dave is nice. Dave is not round. Erin is cold. Erin is green. Erin is nice. Erin is rough. Erin is round. Erin is smart. Erin is not young. If someone is young then they are smart. All round people are not young. If someone is smart and not round then they are young. All young, green people are rough. Young, green people are nice. If someone is round and not smart then they are not nice. All rough, round people are green. If Erin is nice then Erin is rough.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is not young.
("Bob" "is" "young" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not round.
("Dave" "is" "round" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is not young.
("Erin" "is" "young" "-")
If someone is young then they are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
All round people are not young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "-"))
If someone is smart and not round then they are young.
((("someone" "is" "smart" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "young" "+"))
All young, green people are rough.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Young, green people are nice.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and not smart then they are not nice.
((("someone" "is" "round" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "nice" "-"))
All rough, round people are green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If Erin is nice then Erin is rough.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "rough" "+"))
Bob is rough.
True
1
proof
[(triple2)]
("Bob" "is" "rough" "+")
triple2
Bob is not nice.
False
1
inv-proof
[(triple1)]
("Bob" "is" "nice" "-")
triple1
Bob is green.
True
3
proof
[(((triple2 triple3) -> rule7))]
("Bob" "is" "green" "+")
((triple2 triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
3
inv-proof
[(((triple2 triple3) -> rule7))]
("Bob" "is" "green" "-")
((triple2 triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is smart.
Unknown
rconc
[@2: Dave is smart.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Dave" "is" "smart" "+")
@0: Bob is nice.[(triple1)] Bob is not young.[(triple5 OR ((triple3) -> rule2))] Bob is rough.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Dave is cold.[(triple6)] Dave is green.[(triple7)] Dave is nice.[(triple8)] Dave is not round.[(triple9)] Erin is cold.[(triple10)] Erin is green.[(triple11 OR ((triple13 triple14) -> rule7) OR ((((triple12) -> rule8) triple14) -> rule7))] Erin is nice.[(triple12)] Erin is not young.[(triple16 OR ((triple14) -> rule2))] Erin is rough.[(triple13 OR ((triple12) -> rule8))] Erin is round.[(triple14)] Erin is smart.[(triple15)] @1: Bob is green.[(((triple2 triple3) -> rule7))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is not young.
("Bob" "is" "young" "-")
triple5
((triple3) -> (rule2 % int1))
Bob is not young.
("Bob" "is" "young" "-")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is not round.
("Dave" "is" "round" "-")
triple9
Erin is cold.
("Erin" "is" "cold" "+")
triple10
Erin is green.
("Erin" "is" "green" "+")
triple11
((triple13 triple14) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple12) -> (rule8 % int2)) triple14) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
triple12
Erin is not young.
("Erin" "is" "young" "-")
triple16
((triple14) -> (rule2 % int1))
Erin is not young.
("Erin" "is" "young" "-")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple13
((triple12) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple14
Erin is smart.
("Erin" "is" "smart" "+")
triple15
Bob is green.
("Bob" "is" "green" "+")
((triple2 triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1