Harry is young. All cold people are not smart. If someone is red and cold then they are not smart. If someone is white and young then they are not smart. Young, red people are smart. If Harry is rough and Harry is not red then Harry is not cold. If someone is nice and young then they are cold. If Harry is young then Harry is nice. If someone is smart then they are white.
Harry is young.
("Harry" "is" "young" "+")
All cold people are not smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "-"))
If someone is red and cold then they are not smart.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "-"))
If someone is white and young then they are not smart.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "-"))
Young, red people are smart.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
If Harry is rough and Harry is not red then Harry is not cold.
((("Harry" "is" "rough" "+") ("Harry" "is" "red" "~")) -> ("Harry" "is" "cold" "-"))
If someone is nice and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If Harry is young then Harry is nice.
((("Harry" "is" "young" "+")) -> ("Harry" "is" "nice" "+"))
If someone is smart then they are white.
((("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
Harry is young.
True
1
proof
[(triple1)]
("Harry" "is" "young" "+")
triple1
Harry is not young.
False
1
inv-proof
[(triple1)]
("Harry" "is" "young" "-")
triple1
Harry is nice.
True
2
proof
[(((triple1) -> rule7))]
("Harry" "is" "nice" "+")
((triple1) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple1) -> rule7))]
("Harry" "is" "nice" "-")
((triple1) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
True
4
proof
[(((((triple1) -> rule7) triple1) -> rule6))]
("Harry" "is" "cold" "+")
((((triple1) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not cold.
False
4
inv-proof
[(((((triple1) -> rule7) triple1) -> rule6))]
("Harry" "is" "cold" "-")
((((triple1) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not smart.
True
5
proof
[(((((((triple1) -> rule7) triple1) -> rule6)) -> rule1))]
("Harry" "is" "smart" "-")
((((((triple1) -> (rule7 % int3)) triple1) -> (rule6 % int2))) -> (rule1 % int1))
Harry is not smart.
("Harry" "is" "smart" "-")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is smart.
False
5
inv-proof
[(((((((triple1) -> rule7) triple1) -> rule6)) -> rule1))]
("Harry" "is" "smart" "+")
((((((triple1) -> (rule7 % int3)) triple1) -> (rule6 % int2))) -> (rule1 % int1))
Harry is not smart.
("Harry" "is" "smart" "-")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "white" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Harry is young.[(triple1)] @1: Harry is nice.[(((triple1) -> rule7))] @2: Harry is cold.[(((((triple1) -> rule7) triple1) -> rule6))] @3: Harry is not smart.[(((((((triple1) -> rule7) triple1) -> rule6)) -> rule1))]
Harry is young.
("Harry" "is" "young" "+")
triple1
Harry is nice.
("Harry" "is" "nice" "+")
((triple1) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((((triple1) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not smart.
("Harry" "is" "smart" "-")
((((((triple1) -> (rule7 % int3)) triple1) -> (rule6 % int2))) -> (rule1 % int1))
Harry is not smart.
("Harry" "is" "smart" "-")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3